Forked from
pub / frama-c
Source project has a limited visibility.
-
Fonenantsoa Maurica authored
- safe locations (standard streams) - memory operations other than malloc that require memory_init to be called beforehand - bittree model
Fonenantsoa Maurica authored- safe locations (standard streams) - memory operations other than malloc that require memory_init to be called beforehand - bittree model
