nevillegrech/gigahorse-toolchain

Issues

• This installation script can not be ran in WSL2

  #160 opened a month ago by ethever
  2

• I write a client datalog，but when I run "./gigahorse.py -C clients/test.dl demo_contracts/transfer/transfer.hex" , something goes wrong

  #151 opened 3 months ago by PlutoEr-001
  3

• How does loops work? How does Gigahorse translate loops?

  #137 opened 6 months ago by lahiri-phdworks
  3

• Is there a way to get rid of CALLPRIVATE ?

  #139 opened 6 months ago by mentalrob
  1

• Need some constant folding in `GlobalAnalysis`

  #124 opened 6 months ago by sifislag
  3

• The fallback function is not separated.

  #128 opened 9 months ago by kongqp
  0

• Improve public function inference when the function selector is smaller than 3 bytes

  #91 opened a year ago by sifislag
  0

• address

  #96 opened a year ago by taka250
  1

• Add CI event listener

  #104 opened a year ago by npetalid
  0

• Encountered a problem when installing the Souffle custom functors

  #105 opened a year ago by Stamp9
  2

• Function call not inferred

  #30 opened a year ago by sifislag
  0

• why stop compilation

  #95 opened a year ago by taka250
  1

• The "FormalArgs" relation missing some of the facts.

  #94 opened a year ago by MingxiYe
  8

• Possible missing events from output

  #44 opened 2 years ago by machete-michael
  15

• 3-address code bug

  #73 opened 2 years ago by t0hka1
  4

• When experimenting with example, the following error was reported

  #90 opened 2 years ago by taka250
  1

• ReentrancyGuard deleted

  #89 opened 2 years ago by mentalrob
  2

• A problem of "souffle-addon"?

  #67 opened 2 years ago by lwy0518
  4

• Why is the compiled file incomplete?

  #53 opened 2 years ago by lwy0518
  4

• The "freeze_support()" line can be omitted if the program

  #79 opened 2 years ago by hyue0768
  3

• Why does CALLCODE have no “value” field in Gigahorse？

  #77 opened 2 years ago by kongqp
  1

• Can detection rules be automatically generated?

  #50 opened 2 years ago by lwy0518
  2

• Cannot compile on Mac

  #33 opened 2 years ago by Divide-By-0
  4

• The compilation time is so long

  #47 opened 2 years ago by fCorleone
  1

• Analytics returning 0 for all outputs

  #45 opened 2 years ago by kalanyuz
  2

• Flow analysis + memory modeling

  #39 opened 3 years ago by snf
  4

• Pretty-printed output format?

  #11 opened 3 years ago by beaugunderson
  8

• Pathological contract example

  #12 opened 3 years ago by beaugunderson
  5

• cannot run the example

  #26 opened 3 years ago by smartcontract-detect-yzu
  9

• Can't compile contract

  #28 opened 3 years ago by metrocoding
  6

• Indirect Jump In TAC

  #20 opened 3 years ago by XiaowenHu96
  4

• PHI insetion in the TAC representation.

  #18 opened 3 years ago by XiaowenHu96
  0

• Result differs when running Gigahorse manually

  #17 opened 3 years ago by XiaowenHu96
  2

• Running Gigahorse Manually: Cannot open fact file MaxContextDepth.csv

  #13 opened 3 years ago by XiaowenHu96
  1

• no such file or directory decompiler_compiled

  #10 opened 4 years ago by taylorgag
  13

• Warning: Variable newContext only occurs once in file transactional-context.dl at line 113

  #8 opened 4 years ago by darkn0mad
  3

• FileNotFoundError: [Errno 2] No such file or directory: 'decompiler_compiled'

  #6 opened 4 years ago by woods1060
  3