I.A.P

pintool과 결부하여 사용하기 좋은 라이브러리이다.

Z3란 게 SMTsolver로서 사용된다고 한다.

원하는 경로를 위한 해(solve)를 구해주는 툴이라고 보면된다.

핀툴의 경우 속도가 매우 느린데 이 툴을 사용하여 원하는 경로만 볼 수 있다면 분석시간을 많이 단축 시킬 수 있을 것이다.

https://github.com/Z3Prover/z3 

github를 참조하자!

빌드된 버전도 있으니 사용하자!

-->  z3-4.3.2-x64-win.zip

z3실행파일이 생성되며 주요언어를 모두 지원한다.

파이썬을 통해서 하는 게 가장 편할것이다.

인터프리터 언어이기 떄문이다.

C언어나 C++로 하기 위해서는 외부라이버리를 참조해야만 사용가능하다.

angr과 triton은 같이 사용하는 프레임워크이다.

http://rise4fun.com/z3/tutorial

http://xer0s.tistory.com/97

http://revers3r.tistory.com/424 - angr

https://triton.quarkslab.com - triton

http://shell-storm.org/blog/Stack-and-heap-overflow-detection-at-runtime-via-behavior-analysis-and-PIN/

파싱이란? - 가공되지 않은 데이터에서 원하는 특정한 문자열을 빼내는 작업

makefile형식으로 이루어져 있다.

코드에서의 문제점을 발생하였다. 2x + 2알파 = 값이하나가 아니다...

1. Matlab코드의 원래 가지고있던 문제점인 1초부터 시작해야만 하는 부분의 경우 코드를 수정하여 문제를 해결하였다.

Matlab에서 배열의 경우 1부터 시작하기떄문에 0부터 쓰면 오류가 난다. 그부분을 수정하니 문제가 해결되었다.

2. 상수인자의 이름을 직관적으로 변경하였다. 원래 C,C2였는데 addCoefficient 와 deleteCoefficient로 변경하였다.

3. 위 사진에 나온 문제를 해결하는 것이 가장 중요한 문제일 듯하다

4. 주석을 추가하여 훨씬 이해하기 쉽도록 하였다.

작가 : 이석원

일상이야기를 진솔하게 풀어낸 에세이

다양한 스토리가 있으며 일상을 담아내고 있다.

읽기에 부담이 없고 공감이 되는 이야기들로 꽉 채워있다.

http://blog.naver.com/dearholmes (작가의 블로그)

이 사람의 글을 읽다보면 내 자신이 차분해지는 것을 발견할 수 있다.

글이 역동적이라기보다는 잔잔한 물결처럼 정적이다.

마음의 양식이라고 하는 책을 보면서 강렬한 재미도 좋지만 때로는 차분한 마음으로 내자신을 들여다 보는 것도 필요하다.

차분한 마음으로 나 자신을 들여다보고 싶은 사람에게 이책을 추천하고 싶다.

책의 내용은 기억이 나지 않아도 책을 읽을 때 그 마음은 잊고 싶지않다.

이 책에 어울리는 말이 아닐지도 모르겠다.