Accueil > Axes > PACS > Outils > Outils

Outils



  • BinSec Binary code analysis for security

    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 (…)


  • FISSC Fault-injection and simulation secure collection (Verimag, CEA-Leti, Morpho)

    Fault-injection and simulation secure collection (Verimag, CEA-Leti, Morpho)


  • GUEB Static analyzer for detection use-after-free vulnerabilities on binary code

    GUEB is a static analyzer performing use-after-free detection on binary. GUEB performs a value analysis on binary code, which tracks pointers and the states of the heap objects. When GUEB detects the use of a freed pointer, it extracts the sub-graph representation of the use-after-free.


  • Lazart Source-level code robustness analysis against fault injection

    Source-level code robustness analysis against fault injection


  • Pagai a static analyzer

    Pagai is a static analyzer based on the LLVM framework.


La page de tous les outils de Verimag


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4190119