binsec.github.io - BINSEC

home > domains > binsec.github.io

Description: BINSEC: BINSEC

formal methods (49) binary code analysis (2) binsec (1)

Example domain paragraphs

BINSEC is an open-source toolset to help improve software security at the binary level . It relies on cutting-edge research in binary code analysis , at the intersection of formal methods, program analysis, security and software engineering. It is powered up by state-of-the-art techniques such as binary-level formal methods, symbolic execution, abstract interpretation, SMT solving and fuzzing.

BINSEC has been successfully applied in a number of security-related contexts, such as vulnerability finding, (malware) deobfuscation, decompilation, formal verification of assembly code or even binary-level formal verification.

It is developed at the CEA List institute of Université Paris-Saclay in collaboration with Verimag and LORIA .

Links to binsec.github.io (5)



© example3.com 2024