Code

Implement symbolic execution #18

Code

Merged

Rog3rSm1th merged 9 commits intomasterFuzzingLabs/sierra-analyzer:masterfrom feat/symbolic_executionFuzzingLabs/sierra-analyzer:feat/symbolic_executionCopy head branch name to clipboardAug 6, 2024

+375-39

Commits

Commits on Aug 2, 2024

• Implement the symbolic execution engine using z3

  Rog3rSm1th

  committed
  da23f6f

  Copy full SHA for da23f6f

• Implement paths method in control-flow graph

  Rog3rSm1th

  committed
  5a9ab55

  Copy full SHA for 5a9ab55

• Initialize inputs generator detector

  Rog3rSm1th

  committed
  953b6c1

  Copy full SHA for 953b6c1

Commits on Aug 5, 2024

• Update inputs generator detector to convert arguments into z3 variables

  Rog3rSm1th

  committed
  4f3a1cd

  Copy full SHA for 4f3a1cd

• Handle variables assignations in inputs generator

  Rog3rSm1th

  committed
  e4aaae9

  Copy full SHA for e4aaae9

• Handle arithmetic operations in inputs generator

  Rog3rSm1th

  committed
  fa180ae

  Copy full SHA for fa180ae

• Add if/else conditions to the z3 constraints in inputs generator

  Rog3rSm1th

  committed
  7ac956c

  Copy full SHA for 7ac956c

Commits on Aug 6, 2024

• Fix a bug in CFG paths generation algorithm

  Rog3rSm1th

  committed
  81d2d43

  Copy full SHA for 81d2d43

• Refactor symbolic execution

  Rog3rSm1th

  committed
  d564003

  Copy full SHA for d564003