search

gernst / legion-symcc

Fresh implementation of the Legion algorithm on top of SyMCC
Other
0 stars 1 forks source link

Symbolic memory #7

Open gernst opened 2 years ago

gernst commented 2 years ago

Check: does going down the same path always lead to same constraint, or do symbolic memory sizes end up as concrete constants?

gernst commented 2 years ago

TODO: evaluate Toby's fix: don't record concrete addresses