분석 기반을 조립하기
기계어 프로그램의 분석에 필요한 여러 기능을 제공한다. 표준 해석기와 미세 실행 해석기, 기호 실행기 등이 포함된다. 분석하려는 질문에 맞게 구성 요소를 선택하며 각 기능의 실행 환경과 의미를 구분해야 한다.
사용자 정의 동작 표현
Primus Lisp는 분석 구현과 검증 조건, 함수 동작의 모델을 작성하는 데 활용된다. 실제 라이브러리 함수를 대체하는 모델이 있으면 그 가정이 결과에 영향을 준다. 모델이 원래 함수의 어떤 부분을 표현하는지 확인하는 과정이 중요하다.
플러그인과 라이브러리
bap 명령을 플러그인으로 확장하거나 OCaml 응용 안에 라이브러리로 넣을 수 있다. C 바인딩 등 다른 언어와 연결하는 경로도 있다. 지원 아키텍처와 분석 기능의 범위는 확장 구성에 따라 확인한다.