appleseedlab / maki

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

Fix modified argument checks #35

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

Makes checks for modified macro arguments more conservative by returning true if a modified argument appears in the subtree of a side-effecting expression, instead of only checking if a macro argument is a side-effected expression.

Closes #33