Static-Analysis-FBInfer

2022년 여름 정적분석기 FBInfer에 대해 공부하는 스터디입니다.

Topic

• (공통) Introduction to Compiler

  • 추상구문트리(Abstract syntax tree) 이해
  • 제공된 Java 언어 외에 자신이 선호하는 언어(ex. Python, JavaScript 등)로 추상구문트리를 표현하는 프로그램 작성

• (지정) 정적 분석기 FBInfer

  • FBInfer 분석기 설치(ref)
  • FBInfer 실행 방법(ref)
  • 예제(ex. 버퍼 오버플로우) 분석 결과 정리
    • FBInfer GitHub에 준비된 예제 / 인터넷에서 확인할 수 있는 다양한 예제 참고
    • 분석 대상: Java, C, C++, Objective C (정우: C++, 정인: Java)
    • 분석 목록: 기술 문서 참고

Plan

스터디 진행 상황은 프로젝트로 관리하고 있습니다.

• 6월 29일 ~ 7월 2일: FBInfer 설치, Introduction to Compiler 학습
• 7월 3일 ~ 7월 9일:
• 7월 10일 ~ 7월 16일