4 search results for "tag:"abstract interpretation""
Showing 1 - 4
-
Semantic analysis of binary executables0.9.1LGPL-2.1-or-laterUsed by 0 other packages21 May 2024
-
Platform dedicated to the analysis of source code written in C29.0LGPL-2.1-onlyUsed by 6 other packages13 Jun 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
Static analysis framework for C2.4.0MITUsed by 0 other packages06 Aug 2024