Expand description
format_string_check - format argument is reachable only from literals.
Structs§
- Format
String Check - Soundness marker for
format_string_check.
Functions§
- format_
string_ check - Build the canonical security bitset-subtraction program.