Halting capture at return of main has ambiguity - Githubissues

moralismercatus / crete

Open source concolic testing tool for binaries

1 stars 1 forks source link

Halting capture at return of main has ambiguity #137

Closed moralismercatus closed 9 years ago

moralismercatus commented 9 years ago

The solution is to make __libc_start_main as a custom instruction.

moralismercatus commented 9 years ago

Done.