Adam Meily
Adam Meily
I am seeing that differences between runs are not consistent. I am seeing the same behavior as trailofbits/binrec-tob#33 when the `main` function call is being missed, which leads me to...
@michaelbrownuc - to summarize this issue so far: - I'm seeing inconsistent trace info for several samples. I've been primarily targeting `eq`, in the case where the two inputs are...
This could be a side-effect of running multiple samples back-to-back. I'm going to be testing: - Does this occur with a single manual run? - Does adding a `sleep` between...
> Does this occur with a single manual run? Yes. I just confirmed that this occurs when running a single trace. > Does adding a sleep between runs / commands...
Based on the findings so far, the plan is to switch assertion failures to exceptions and re-run the trace on exception, trailofbits/binrec-prerelease#171
I'm also seeing this issue fairly consistently on the `server` sample.
With the fix in trailofbits/binrec-prerelease#148 , I'm now seeing this behavior in `df`
I verified that this is occurring. I let a sample run in the background for more than 5 minutes. S2E did not stop the analysis process or shutdown the VM...
During lifting I'm seeing a warning message that I don't think I've seen before: ``` Warning: couldn't find local reg R_ECX in function Func_804A090 ```
I'm seeing an example of this in the `cat` coreutils program, in the `fdadvise` function: **C Code** ```c void fdadvise (int fd, off_t offset, off_t len, fadvice_t advice) { #if...