moralismercatus / crete

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

Providing initial value to arg causes concretization #143

Closed moralismercatus closed 8 years ago

moralismercatus commented 8 years ago

With the new code selection, when preload assigns the given initial value after making it symbolic, it is inadvertently concretized.

The solution is to assign initial input via vm-node. Similar to how initial input is assigned for files.

moralismercatus commented 8 years ago

It appears that I needed only to remove an assignment done in preloader that was done for historical reasons.