Search:
Search Results
sci-mathematics/frama-c-occurrence
Occurrence analysis plugin for frama-c
sci-mathematics/frama-c-pdg
Program dependence graph plugin for frama-c
sci-mathematics/frama-c-postdominators
Postdominators plugin for frama-c
sci-mathematics/frama-c-reduc
frama-c plugin to generate ACSL annotations from Eva information
sci-mathematics/frama-c-security-slicing
Security slicing plugin for frama-c
sci-mathematics/frama-c-server
Server plugin for frama-c
sci-mathematics/frama-c-report
Report plugin for frama-c
sci-mathematics/frama-c-scope
Scope plugin for frama-c
sci-mathematics/frama-c-rtegen
Runtime error annotation (RTE) generation plugin for frama-c
sci-mathematics/frama-c-slicing
Slicing plugin for frama-c
sci-mathematics/frama-c-studia
Studia plugin for frama-c
sci-mathematics/frama-c-sparecode
Spare code plugin for frama-c
sci-mathematics/frama-c-variadic
Variadic function transformation plugin for frama-c
sci-mathematics/frama-c-users
Users plugin for frama-c
dev-ml/core_extended
Extra components that are not as closely vetted or as stable as Core
dev-ml/delimited_parsing
Parsing of character (e.g., comma) separated and fixed-width values
dev-ml/record_builder
A library which provides traversal of records with an applicative