search

Xazax-hun / domains-oxide

Toy language to help experiment with numerical domains for abstract interpretation
Apache License 2.0
2 stars 0 forks source link

Support conditions in loop/alternative as an extension #6

Closed Xazax-hun closed 7 months ago

Xazax-hun commented 1 year ago

If loops/alternatives could have condition expressions based on the state, it would be possible to demonstrate how narrowing works, and we could eliminate paths based on the analysis state. Moreover, it would be possible to experiment with path sensitive analysis and symbolic execution.

Xazax-hun commented 7 months ago

This is not really needed now that we also have bril as a language to demo analyses.