I built a DSL for a Visual Novel game I am making, by using ANTLR for parsing and then executing it using C#. Are there generic frameworks for implementing sta

I built a DSL for a Visual Novel game I am making, by using ANTLR for parsing and then executing it using C#. Are there generic frameworks for implementing static analysis that exists out there ? I did a rudimentary version of it with some simple checks, but I have troubles wrapping my head about checking conditional branches and stuff like this.