본문 바로가기

전체 글

 (48)
DNS 정리 DNS란 ?DNS란 도메인을 IP로 변환하거나 도메인으로 다시 변경해주는 것을 말한다. DNS의 구성 요소는?DNS는 아래와 같이 크게 3가지로 분류 할 수 있다.Domain Name Space : DNS가 저장 관리하는 계층적 구조Name Server : 권한 있는 DNS 서버Resolver : 권한 없는 DNS 서버DNS는 도메인 이름을 웹 브라우저에 입력하는 경우 해당 사이트의 올바른 IP 주소를 찾는 역할을 수행하기 위해 “이 도메인 이름은 이 IP 주소이다”라는 ‘텍스트’를 저장하는 DB가 필요하다.  Domain Name Space : 도메인 네임 스페이스라는 방법으로 도메인 이름 저장을 분산한다.  Name Server : 도메인 이름의 IP 주소를 찾는다. Resolver : 클라이언트의 ..
나만의 vm C언어로 구현하기 #include int value = 0;int memory = 0;void input() { printf("값을 입력하세요: "); scanf("%d", &value);}void output() { printf("입력된 값: %d\n", value);}void calc() { value += 5; printf("계산 후 값: %d\n", value);}void store() { memory = value; printf("값이 저장되었습니다: %d\n", memory);}void load() { value = memory; printf("불러온 값: %d\n", value);}void loop() { for (int i = 0; i 0) { ..
z3-solver 사용법 정리 z3-solver 설치z3 solver는 특정 값들을 찾아주는 SMT solver 모듈이다.z3-solver는 많은 언어에서 사용할 수 있지만 이 글에선 python 기준으로 설명하도록 하겠다. pip install z3-solverpip를 이용하면 손쉽게 z3-solver를 설치할 수 있다. z3-solver 불러오기사용 전에, z3-solver는 모듈이기 때문에 import로 모듈을 불러와야한다. from z3 import *z3-solver 모듈은 이렇게 불러올 수 있다. 미지수 선언 정수형 미지수 선언x = Int('x')y = Int('y') Bool형 미지수 선언x = Bool('x')y = Bool('y') 비트벡터 미지수 선언x = BitVec('x')y = BitVec('y')사용법예를들..

티스토리툴바