Code

Symbolic start#2604

Code

Draft

sschriner wants to merge 49 commits intomastertrailofbits/manticore:masterfrom chess-symbolic_starttrailofbits/manticore:chess-symbolic_startCopy head branch name to clipboard

+1,168-284

Commits

Commits on May 26, 2020

• Use my capstone dev branch until fixes are merged into next

  ekilmer

  committed
  7d5b087

  Copy full SHA for 7d5b087

• Fix aarch64

  ekilmer

  committed
  f177ce8

  Copy full SHA for f177ce8

• Fix ARM

  ekilmer

  committed
  5ee1f15

  Copy full SHA for 5ee1f15

• Update Capstone commit to fix arm64 LD1 instruction immediates

  ekilmer

  committed
  10e49bd

  Copy full SHA for 10e49bd

• Ignore coverage tracking for defensive assertions and exceptions

  ekilmer

  committed
  4f69dbc

  Copy full SHA for 4f69dbc

Commits on Jul 9, 2020

• Merge branch 'master' into capstone-5-dev

  feliam

  committed
  f35744f

  Copy full SHA for f35744f

• ENDBR64 as nop

  feliam

  committed
  4b738bf

  Copy full SHA for 4b738bf

Commits on Jul 14, 2020

• Add lacking x86 tests

  feliam

  committed
  be9bdd1

  Copy full SHA for be9bdd1

• New x86 instrution test

  feliam

  committed
  6c24f8d

  Copy full SHA for 6c24f8d

Commits on Aug 5, 2020

• Merge branch 'master' into capstone-5-dev

  Show description for be00705
  ekilmer

  committed
  be00705

  Copy full SHA for be00705

Commits on Aug 11, 2020

• Merge branch 'master' into capstone-5-dev

  Show description for 85b3bbb
  ekilmer

  committed
  85b3bbb

  Copy full SHA for 85b3bbb

Commits on Aug 19, 2020

• Disable write back once we hit our stop in Unicorn emulation

  ekilmer

  committed
  4751e11

  Copy full SHA for 4751e11

Commits on Sep 14, 2020

• Make emulator reinitialize after write backs are disabled

  

  Eric Hennenfent

  committed
  3f21e92

  Copy full SHA for 3f21e92

• Merge branch 'master' into fix-emulate-step

  

  Eric Hennenfent

  committed
  416b8b8

  Copy full SHA for 416b8b8

• Fix linting on test_general

  Show description for cfafb6d
  

  Eric Hennenfent

  committed
  cfafb6d

  Copy full SHA for cfafb6d

Commits on Sep 22, 2020

• Add a Rust/Unicorn resumption test

  

  Eric Hennenfent

  committed
  548fe47

  Copy full SHA for 548fe47

• Make rusticorn binary actually check behavior

  

  Eric Hennenfent

  committed
  255eb70

  Copy full SHA for 255eb70

Commits on Sep 25, 2020

• Merge branch 'fix-emulate-step' into chess

  Show description for d689bdd
  ekilmer

  committed
  d689bdd

  Copy full SHA for d689bdd

Commits on Sep 28, 2020

• Merge branch 'master' into capstone-5-dev

  Show description for 3e646f7
  ekilmer

  committed
  3e646f7

  Copy full SHA for 3e646f7

• Merge branch 'capstone-5-dev' into chess

  Show description for 454a65f
  ekilmer

  committed
  454a65f

  Copy full SHA for 454a65f

• Run CI on chess branch

  ekilmer

  committed
  a21ea0f

  Copy full SHA for a21ea0f

Commits on Oct 6, 2020

• Support for pread64 syscall

  ekilmer

  committed
  fd4a63d

  Copy full SHA for fd4a63d

Commits on Oct 14, 2020

• Delete duplicated test method

  

  Eric Hennenfent

  committed
  8d6134f

  Copy full SHA for 8d6134f

• Merge branch 'master' into fix-emulate-step

  

  Eric Hennenfent

  committed
  fcbc2de

  Copy full SHA for fcbc2de

• Fix addresses and improve error handling

  

  Eric Hennenfent

  committed
  565b35c

  Copy full SHA for 565b35c

Commits on Nov 9, 2020

• Merge branch 'master' into chess

  Show description for 20c1526
  ekilmer

  committed
  20c1526

  Copy full SHA for 20c1526

Commits on Nov 30, 2020

• Fix issue with sphinx autodoc

  Show description for df4baa7
  ekilmer

  committed
  df4baa7

  Copy full SHA for df4baa7

Commits on Jan 20, 2021

• Add last_executed_pc property to abstract CPU

  Show description for 065516f
  ekilmer

  committed
  065516f

  Copy full SHA for 065516f

Commits on Jan 21, 2021

• Optionally skip publishing mem read/writes in CPU

  ekilmer

  committed
  cceeb1f

  Copy full SHA for cceeb1f

• Shallow copy AMD64RegFile but keep concrete register values

  Show description for 6079bce
  ekilmer

  committed
  6079bce

  Copy full SHA for 6079bce

Commits on Mar 29, 2021

• Merge branch 'master' into chess

  Show description for 0db7011
  ekilmer

  committed
  0db7011

  Copy full SHA for 0db7011

Commits on Apr 7, 2021

• Remove call to pkg_resources that breaks custom installation

  ekilmer

  committed
  d54307c

  Copy full SHA for d54307c

• Fix mypy

  ekilmer

  committed
  e0d5f3a

  Copy full SHA for e0d5f3a

• Merge branch 'master' into chess

  Show description for 8577543
  ekilmer

  committed
  8577543

  Copy full SHA for 8577543

Commits on Apr 8, 2021

• Merge branch 'fix-emulate-step' into chess

  Show description for a659442
  ekilmer

  committed
  a659442

  Copy full SHA for a659442

Commits on Apr 10, 2021

• Merge branch 'master' into fix-emulate-step

  Show description for c3d7885
  ekilmer

  committed
  c3d7885

  Copy full SHA for c3d7885

• Fix Unicorn resume

  Show description for 702260c
  ekilmer

  committed
  702260c

  Copy full SHA for 702260c

Commits on Apr 14, 2021

• Merge branch 'fix-emulate-step' into chess

  Show description for ac9be30
  ekilmer

  committed
  ac9be30

  Copy full SHA for ac9be30

• Fix test missed during merge

  ekilmer

  committed
  dc64f11

  Copy full SHA for dc64f11

Commits on Apr 15, 2021

• Fix more tests missed during merge

  ekilmer

  committed
  101596e

  Copy full SHA for 101596e

Commits on Apr 30, 2021

• staticmethods to get syscall info

  ekilmer

  committed
  ba5597c

  Copy full SHA for ba5597c

Commits on May 27, 2021

• Rework some logging

  ekilmer

  committed
  5fa3f94

  Copy full SHA for 5fa3f94

• Better logging initialization

  ekilmer

  committed
  bb5d00d

  Copy full SHA for bb5d00d

Commits on Jun 4, 2021

• Remember to set manticore property on state __enter__

  ekilmer

  committed
  5529d86

  Copy full SHA for 5529d86

• Better log message in sys_recvfrom

  ekilmer

  committed
  f879bfd

  Copy full SHA for f879bfd

• Chess heap tracking work (#2458)

  Show description for f9bcc15
  sschriner

  authored
  f9bcc15

  Copy full SHA for f9bcc15

• corrected read_arg in hook_malloc_library

  sschriner

  committed
  b3ecaf6

  Copy full SHA for b3ecaf6

Commits on Jun 23, 2021

• Add location to alloc info and remove some debugging statements (#2463)

  Show description for 27e0754
  sschriner

  authored
  27e0754

  Copy full SHA for 27e0754

Commits on Jul 1, 2021

• start

  sschriner

  committed
  d8243ac

  Copy full SHA for d8243ac