FU11M00N

독시즌(Doxygen) 독시즌은 인기 높은 프로그래밍 언어를 다양하게 지원하고 복잡하고 용량이 큰 코드 베이스를 시각적으로 점검 가능함. Z3 Z3는 SW 분석, 퍼징실험 도구 C/C++ ,python등 프로그래밍을 지원 수동으로 하는 검사를 깊고 넓게 할수있고 bof, 정수 오버플로 , 부적절한 메모리 접근 같은 문제를 파악하는 데에도 도움을 줌. 리브퍼저(LibFuzzer) 리브퍼저는 최근 인기많은 퍼징도구 시스템을 마비시키거나 느리게 만들수 있는 입력값을 찾아내는 등 점진적 점검을위해 순열과 치환 값을 적용함. 지코브(Gcov) 지코브는 code coverage 항목에 분류되는 도구 퍼징 실험 도구들과 궁합이 좋고 중간중간 사용자가 개입해 실험 과정 조정가능. www.boannews.com/medi..