galois-agrushin issues

Repositories
Issues
Comments

Results 1 issues of


                                            galois-agrushin

Extend the functionality of gen_cfg to cover all relevant statements in a program

**Is your feature request related to a problem? Please describe.** The control flow graph (CFG) that is returned by the `gen_cfg` function does not cover certain program statements, such as...