search

moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

CoreUtil's factor is causing problems #131

Open moralismercatus opened 9 years ago

moralismercatus commented 9 years ago

Testing on x86.

Two problems we're encountering.

  1. A single test case is generated. This likely indicates erroneous concretization. Worth taking a look to see what's causing it.
  2. TraceGraph is segfaulting. According to gdb, it's happening during recursive calls to merge_trace(). I looked at it briefly, and can't find the cause. Note that the trace being merged is large (100k blocks) which is the only difference I can see compared with other tests; however, I don't see why that'd make a difference.