The Fuzzing Book 공부 3

Information Leaks

Information leaks may not only occur through illegal memory accesses

 To start with, let us create some program memory filled with actual data and random data:

앞서 구현한 fuzzer에 다음을 추가하여, 임의의 값으로 메모리를 채울 수 있도록 한다. 

 

우리는 다음의 함수를 통해서 하트브리드와 비슷한 내용의 logic을 구현한다. 

이 함수를 활용해 보면 다음과 같은 상황이 발생한다. 

 

이 결과값은 함수가 의도한 대로 입력이 들어왔을 때의 출력이다. 

하지만 아래의 결과값은 의도하지 않은 만큼의 입력에 따른 결과 이다. 

 

우리는 이런 상활을 어떻게 탐지할 수 있을까???

이를 위해서 우린 다음과 같이 파이썬 스크립트로 가능하다. 

 

해당 스크립트를 사용하면, 다음과 같은 결과를 반환한다. 

자 이제 민감한 정보를 보호하고 유출되지 않도록 하는 법에 대해서 알아보자.

Program-Specific Checkers

특정 플랫폼이나 언어로 된 모든 프로그램에 적용되는 일반 검사기 외에도 프로그램

또는 하위 시스템에 적용되는 특정 검사기를 고안 할 수 있다.

The more assertions you have in your program, the higher your chances to detect errors during execution that would go undetected by generic checkers – notably during fuzzing. If you worry about the impact of assertions on performance, keep in mind that assertions can be turned off in production code (although it can be helpful to leave the most critical checks active).