Code

Aixcc#34

Code

Merged

ChengyuSong merged 79 commits intomainR-Fuzz/symsan:mainfrom aixccR-Fuzz/symsan:aixccCopy head branch name to clipboardAug 29, 2024

+4,752-2,916

Commits

Commits on May 5, 2024

• refactor, extract launcher

  ChengyuSong

  committed
  d45243a

• adapt launcher to aflpp mutator

  ChengyuSong

  committed
  88256e0

Commits on May 7, 2024

• Z3ASTParser WIP

  ChengyuSong

  committed
  fa967c0

• refactor

  ChengyuSong

  committed
  63ec274

• minor

  ChengyuSong

  committed
  688414f

• refactor, add gep task construction

  ChengyuSong

  committed
  377326a

Commits on May 8, 2024

• add more

  ChengyuSong

  committed
  f98f132

• adapt in-process z3 solver

  ChengyuSong

  committed
  5b25a80

Commits on May 10, 2024

• refactor z3 solving

  ChengyuSong

  committed
  bbef5a6

• adopt ucsan input scheme

  ChengyuSong

  committed
  6704ca1

Commits on May 12, 2024

• add a python bingding, WIP

  ChengyuSong

  committed
  5680cf6

Commits on May 13, 2024

• add parser solver methods

  ChengyuSong

  committed
  21c9d05

• move some header files to include

  ChengyuSong

  committed
  a639903

• switch to shared_ptr for tasks

  ChengyuSong

  committed
  d9d86fc

• minor adaption

  ChengyuSong

  committed
  8a1d06b

• move union_find

  ChengyuSong

  committed
  07d753d

• add a python test

  ChengyuSong

  committed
  635f058

Commits on May 15, 2024

• refactor rgdparser

  ChengyuSong

  committed
  393ab79

• refactor header

  ChengyuSong

  committed
  ce12c5b

• x

  ChengyuSong

  committed
  1d8b5ed

• restructure code

  ChengyuSong

  committed
  b838aa1

• compilable

  ChengyuSong

  committed
  ed67a3f

• x

  ChengyuSong

  committed
  31b52ed

• x

  ChengyuSong

  committed
  d538f1d

Commits on May 18, 2024

• update prebuilt lib files

  ChengyuSong

  committed
  05d7a5e

• fix constant mix with uninitialized data

  ChengyuSong

  committed
  0031874

Commits on May 19, 2024

• special handling for open (invoke inst to vararg)

  ChengyuSong

  committed
  134306a

• fix return label type

  ChengyuSong

  committed
  f01160c

• add an option to disable trace-bound

  ChengyuSong

  committed
  0939419

• better handling of libc++

  ChengyuSong

  committed
  d3469dd

• improve path locating

  ChengyuSong

  committed
  92f5111

• fix load/store struct

  ChengyuSong

  committed
  59229e5

Commits on May 23, 2024

• add memcmp recording

  ChengyuSong

  committed
  7e83bdc

Commits on May 30, 2024

• record exit status

  ChengyuSong

  committed
  fdb040a

Commits on May 31, 2024

• add one more opt pass

  ChengyuSong

  committed
  4f498b8

Commits on Jun 3, 2024

• update opt pass

  ChengyuSong

  committed
  51b12a5

Commits on Jun 13, 2024

• Instrument atomic operations

  mingjun97

  committed
  cd27c63

• Merge pull request #1 from Sashikode/atomicrmw

  Show description for 6689dc9
  ChengyuSong

  authored
  6689dc9

Commits on Jun 14, 2024

• use get_label_for

  ChengyuSong

  committed
  0e922bc

• add other non-fp atomic operations

  ChengyuSong

  committed
  6dae65c

• ident

  ChengyuSong

  committed
  37e6e2c

Commits on Jun 16, 2024

• check index label

  ChengyuSong

  committed
  77b2c33

Commits on Jun 17, 2024

• disable all sanitizers, add custom lib path

  ChengyuSong

  committed
  8eff35c

Commits on Jun 19, 2024

• Enhance ko_clang

  mingjun97

  committed
  0ec9070

Commits on Jun 25, 2024

• Add harness proxy & Enhancement for the target binary

  mingjun97

  committed
  a733934

• fix typo, allow config exit_on_memerror

  ChengyuSong

  committed
  b34b5ba

• trace bounds for global array and struct

  ChengyuSong

  committed
  6a4e6a4

• check bounds for read-like functions

  ChengyuSong

  committed
  d722509

Commits on Jun 26, 2024

• fix a regression on gep ptr type; track alloca of struct too

  ChengyuSong

  committed
  5eebf7f

Commits on Jun 27, 2024

• make index enumeration configurable

  ChengyuSong

  committed
  918f75d

• check for null ptr deref too

  ChengyuSong

  committed
  884af70

Commits on Jun 28, 2024

• improve bounds tracking for global

  ChengyuSong

  committed
  97f87f0

• forgot to exclude trace global from being instrumented

  ChengyuSong

  committed
  0b31c72

• gv can be passed as func args

  ChengyuSong

  committed
  3fbff32

Commits on Jun 29, 2024

• seems striping pointer casts is necessary

  ChengyuSong

  committed
  9b3698e

Commits on Jun 30, 2024

• Fix harness-proxy bug & building issue

  mingjun97

  committed
  269f27b

Commits on Jul 1, 2024

• merge local changes

  ChengyuSong

  committed
  b6af9b2

• bring back getchar

  ChengyuSong

  committed
  f9ce5c1

• set KO_CC when building the harness proxy

  ChengyuSong

  committed
  d530649

• add gep parsing for rgd, disable symsan_terminate

  ChengyuSong

  committed
  c57f51a

• improve error return

  ChengyuSong

  committed
  9da2c54

• fix addr calculation

  ChengyuSong

  committed
  3fa4461

• better debug output

  ChengyuSong

  committed
  62c6022

• add a local index filter

  ChengyuSong

  committed
  1acc5b5

• include rt

  ChengyuSong

  committed
  3f7c92c

Commits on Jul 2, 2024

• adding KO_CC doesn't build anything, revert

  ChengyuSong

  committed
  153b07e

• a hack for the pipe-based stdin

  ChengyuSong

  committed
  079d528

• enabled debug symbol

  ChengyuSong

  committed
  1af8767

• make fsize tracing optional

  ChengyuSong

  committed
  59eb2e7

Commits on Jul 11, 2024

• GEP->getSourceElementType is not reliable for GV

  ChengyuSong

  committed
  b21ff1a

Commits on Jul 13, 2024

• make force_stdin configurable through launcher

  ChengyuSong

  committed
  fb1069b

Commits on Jul 14, 2024

• another hack for aixcc harness

  ChengyuSong

  committed
  269cbf4

• AIXCC hack

  mingjun97

  committed
  62dd46b

Commits on Jul 19, 2024

• quote the filename

  ChengyuSong

  committed
  8deda79

Commits on Jul 23, 2024

• improve zlib handling

  ChengyuSong

  committed
  345bed0

Commits on Aug 29, 2024

• update cmakefiles

  ChengyuSong

  committed
  022ef07

• fix config name

  ChengyuSong

  committed
  46b41a0

• install boost container and python3-dev

  ChengyuSong

  committed
  ea36c63

• update

  ChengyuSong

  committed
  8c64f02