Up

Triton : Framework d’exécution concolique et d’analyses en runtime

Triton : Framework d’exécution concolique et d’analyses en runtime
1 · 2

1 They use terms exécution concolique and fuzzing symbolique. 2 Abstract interpretation is a type of static analysis. Value-set analysis is a method of abstract interpretation. L’analyse dynamique se fait sur une unique trace. Mais la difficulté est parcourir l'ensemble de l'arbre d'exécution. L’exécution symbolique dynamique (DSE) = exécution concolique.

Sergey Vartanov, 2007–2020