appleseedlab / maki

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

Fix property checks for paren exprs #63

Closed PappasBrent closed 1 month ago

PappasBrent commented 1 month ago

Removes the skipImplicitAndParens() function so that Maki can accurately check the Addressable and Modifiable properties for macros whose definitions wrap their bodies and/or arguments in parenthesized expressions.

Closes #62