BINSEC

• [new] official homepage of BINSEC   (the old project page can still be found here)
  
• more information about the platform    (old, see the official page)
  
• the semantic of BINSEC IR (DBA)            (beware: the memory model is now restricted to the flat model)