appleseedlab / maki

A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
8 stars 3 forks source link

Add property `IsICERepresentableByInt32` #37

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

Adds a new property to Maki, IsICERepresentableByInt32. When a macro invocation expands to an ICE that can be represented as a 32-bit integer, this property is set to true; otherwise it is set to false. We liberally treat positive ICEs as being unsigned so as to fit more values in 32-bit integers. For negative ICEs we check that they can fit in a 32-bit signed integer.

Closes #31