crashappsec / libcon4m

Base Compiler and Runtime Support for con4m
Apache License 2.0
0 stars 0 forks source link

Initial control flow analysis #22

Closed viega closed 3 months ago

viega commented 3 months ago

I did a basic control flow analysis. The only thing I wanted to get done that I haven't is warning when module variables may end up using the default zero'ed out state (it's an error to use a variable uninitialized in a function). I'm shoving that in the backlog; I gave myself one day, and now need to move on to code gen w/ any coding time I have.