개발자비행일지

연산식 컴퓨터가 계산을 수행하기 위해선 먼저 계산의 대상체를 결정해야 한다. 이러한 계산의 대상체를 우리는 자료형(data type)라고 부른다. 기본적인 자료형으로 다음의 네 가지가 잇다. 정수 integer 부동소수 floating-point number, 이는 수학에서 다루는 실수(real number)를 근사적으로 표현한다. 문자열 character string은 연속된 문자들로 이루어진다. 불린형 값 boolean value은 참과 거짓 중의 하나를 나타낸다. 보통 true와 false를 나타낸다. 각각의 자료형은 상수 constant를 표현하는 방식과 기초적인 형태의 계산을 수행하는 연산자를 제공한다. 그리고 서로 다른 자료형을 구별하기 위해서 type이라는 catagorry를 통해서 구분한다..

소스코드기반 보안 수업 -1 OCAML 설치하기 sudo add-apt-repository ppa:avsm/ppa apt update apt install opam opam init --compiler=4.08.0 opam switch create is593-4.08.0 4.08.0 wich ocaml opam install utop dune ounit helloworld.ml echo 'let() = print_endline "Hello, World!"'

간단한 fuzzing 사용과 klee 사용하는 중 리눅스에 익숙해지고 있다. diff 명령어 사용법 diff [differences] diff명령어는 differences의 약자로 두 파일 사이의 내용을 비교하는 명령어입니다. cmp 명령어 보다는 diff 명령어가 보다 직관적이고 명확하게 결과를 알려 줍니다. ● 파일 비교 명령어, 일반적으로 하나의 파일 버전과 동일한 파일의 다른 버전 간의 변경 사항을 보여주는데 쓰입니다. diff는 문서파일 의 줄 사이 변경 사항을 보여줍니다. ● diff3 명령어는 3개의 파일 까지 비교 가능 합니다. [사용법] #> diff [옵션][비교파일1][비교파일2] #> diff3 [옵션][비교파일1][비교파일2][비교파일3] [옵션] -c 두 파일간의 차이점 출력 -..

5주차 내용인 Static Analysis 공부중