search

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
771 stars 137 forks source link

Question about pure_concolic_execution #99

Open liushengahn opened 2 years ago

liushengahn commented 2 years ago

https://github.com/eurecom-s3/symcc/blob/master/util/pure_concolic_execution.sh When I ran this script, I found that it could not stop for a long time, and found that it entered an unbreakable loop in one place. I tried to modify the script, and now it can stop. image

liushengahn commented 2 years ago

I think it might be a BUG.