Verimag

Code analysis for vulnerability detection

We develop code analysis tools in order to evaluate source or low-level code. We aim two types of diagnostic : robustness or vulnerabilty detection. We consider both source and low-level code. Our approach is based on a combination of static analyses and concolic execution.


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

info visites 875993