PV1 ⊧ BINSECframework providing abstractions for binary code analysis

Links

• Repository: https://github.com/binsec/binsec
  • Last commit date: 09 Nov 2022 (default branch)
  • Last commit date: 09 Nov 2022 (last activity)
• Reference manual: https://github.com/binsec/binsec/blob/master/doc/sse/references.md
• Project page: https://binsec.github.io/

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: extended by BINSEC/RSE, compared to TFML
• Contained in the ProVerB22 dataset (paper + artefact)