Search results

Keep failing while cloning qemu/capstone

Status: Open.

#61 In trailofbits/binrec-tob;

· Yujinmon opened on Jul 13, 2023

I can't install binrec, it seems there is a HTTP connection error when executing "pipenv lock --dev"

Status: Open.

#42 In trailofbits/binrec-tob;

· danxinzhujian opened on Feb 4, 2023

Conflict between symbolic tracing code and export interval in BinRec plugins

Status: Open.

#2 In trailofbits/binrec-tob;

· michaelbrownuc opened on Aug 26, 2022

Initial Support for Callbacks

Status: Open.

#3 In trailofbits/binrec-tob;

· ameily opened on Aug 11, 2022

env and printenv tests fail on Debian 11.3 version of BinRec

Status: Open.

#4 In trailofbits/binrec-tob;

· michaelbrownuc opened on Aug 5, 2022

Latest version of S2E throws errors when tracing our integration tests

Status: Open.

#12 In trailofbits/binrec-tob;

· michaelbrownuc opened on Aug 2, 2022

coreutils: stat sample writes corrupt output and segfaults

Status: Open.

#5 In trailofbits/binrec-tob;

· ameily opened on Jun 14, 2022

mkdir test case fails at a high rate on LLVM-14 version of BinRec

Status: Open.

#6 In trailofbits/binrec-tob;

· michaelbrownuc opened on Jun 6, 2022

Add support for making bytes within file inputs symbolic

Status: Open.

#8 In trailofbits/binrec-tob;

· michaelbrownuc opened on Jun 3, 2022

Analysis Timeout

Status: Open.

#13 In trailofbits/binrec-tob;

· ameily opened on Jun 2, 2022

coreutils: seq fails during symbolic execution

Status: Open.

#9 In trailofbits/binrec-tob;

· michaelbrownuc opened on Jun 2, 2022

Inconsistent Trace Info on Some Samples with Concrete Inputs

Status: Open.

#14 In trailofbits/binrec-tob;

· ameily opened on Apr 20, 2022