Published February 28, 2024
| Version v4
Software
Open
FuncTion: Abstract interpretation-based static anlyser for CTL properties and vulnerabilities of programs
Creators
-
1.
École Normale Supérieure
-
2.
Institut national de recherche en informatique et en automatique
Description
FuncTion is a research prototype static analyzer designed for proving conditional termination and conditional guarantee and recurrence properties of C programs. The tool automatically infers piecewise-defined ranking functions and sufficient preconditions for termination, guarantee and recurrence properties by means of abstract interpretation.
FuncTion's main website is: http://www.di.ens.fr/~urban/FuncTion.html
Files
function_zenodo_final.zip
Files
(7.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3c85a3e7a0dd9a0570c0b6e88dcf15b9
|
7.2 MB | Preview Download |