Code

Go and Rust support#437

Code

Merged

ebehner merged 58 commits intomainfkie-cad/dewolf:mainfrom go-rust-newfkie-cad/dewolf:go-rust-newCopy head branch name to clipboardNov 13, 2024

+815-20

Commits

Commits on Aug 22, 2024

• go prologue handling

  blattm

  committed
  0d32696

  Copy full SHA for 0d32696

• check for address operator in go prologue

  blattm

  committed
  6d8d571

  Copy full SHA for 6d8d571

• include old go call convention go prologues

  blattm

  committed
  8212ac0

  Copy full SHA for 8212ac0

• match stackguard0 reference for all go versions

  blattm

  committed
  a55d11c

  Copy full SHA for a55d11c

• black

  blattm

  committed
  ad5ea02

  Copy full SHA for ad5ea02

• insert comment where go prologue was removed

  blattm

  committed
  0a2bf95

  Copy full SHA for 0a2bf95

• remove unused import

  blattm

  committed
  7ee5762

  Copy full SHA for 7ee5762

• isort

  blattm

  committed
  6c636b7

  Copy full SHA for 6c636b7

• move (now generalized) expression matching to util

  blattm

  committed
  82586a2

  Copy full SHA for 82586a2

• rename go prologue removal stage

  blattm

  committed
  bb3683f

  Copy full SHA for bb3683f

• Remove evaluation code for Go prologue stage

  blattm

  committed
  495d46b

  Copy full SHA for 495d46b

• remove unused imports

  blattm

  committed
  25516f3

  Copy full SHA for 25516f3

• remove leftover test code

  blattm

  committed
  d337cba

  Copy full SHA for d337cba

• remove monkey patching of r14

  blattm

  committed
  627996c

  Copy full SHA for 627996c

• make go prologue stage configurable

  blattm

  committed
  aeb5233

  Copy full SHA for aeb5233

• Monkeypatch can_return for new lifter

  blattm

  committed
  5b74fc7

  Copy full SHA for 5b74fc7

• update go prologue removal for Binja 4.0

  blattm

  committed
  54f864b

  Copy full SHA for 54f864b

• Prologue Eval modification

  blattm

  committed
  2ffc223

  Copy full SHA for 2ffc223

• integrate string slicer

  blattm

  committed
  804b8e0

  Copy full SHA for 804b8e0

Commits on Aug 28, 2024

• stack canary removal based on fsbase expression

  blattm

  committed
  ac79dc0

  Copy full SHA for ac79dc0

• postdominance based boilerplate removal

  blattm

  committed
  9ed37cd

  Copy full SHA for 9ed37cd

• comments and minor changes

  blattm

  committed
  3930244

  Copy full SHA for 3930244

• add boilerplate removal to pipeline

  blattm

  committed
  56324b0

  Copy full SHA for 56324b0

• remove leftover line

  blattm

  committed
  ddce3fa

  Copy full SHA for ddce3fa

• Black autoformatting

  

  CheeseHunter117

  authored and

  blattm

  committed
  f3afbb2

  Copy full SHA for f3afbb2

• Added function to pipeline.preprocessing.util to find unused address in a CFG

  Show description for 591ac1a
  

  CheeseHunter117

  authored and

  blattm

  committed
  591ac1a

  Copy full SHA for 591ac1a

• util:_unused_addresses now returns negative addresses

  

  CheeseHunter117

  authored and

  blattm

  committed
  e62e75f

  Copy full SHA for e62e75f

• WIP evaluation of boilerplate removal

  blattm

  committed
  1c043b3

  Copy full SHA for 1c043b3

• Fix bug related to missing can_return field

  

  CheeseHunter117

  authored and

  blattm

  committed
  2966ca7

  Copy full SHA for 2966ca7

• revert changes to symbol lifting

  blattm

  committed
  6deddca

  Copy full SHA for 6deddca

• Revert "Prologue Eval modification"

  Show description for f1d579b
  blattm

  committed
  f1d579b

  Copy full SHA for f1d579b

• Merge branch 'string_slicer_integration-rebased-2024-08' into go-rust-new

  blattm

  committed
  62e35f6

  Copy full SHA for 62e35f6

• format

  blattm

  committed
  bfd776e

  Copy full SHA for bfd776e

Commits on Aug 29, 2024

• fix default.json format

  blattm

  committed
  118cd08

  Copy full SHA for 118cd08

• add generic boilerplate removal to defaults.json

  blattm

  committed
  31dce6d

  Copy full SHA for 31dce6d

• add docstrings

  blattm

  committed
  4062bae

  Copy full SHA for 4062bae

• clean up canary removal

  blattm

  committed
  7616142

  Copy full SHA for 7616142

• format

  blattm

  committed
  fa6ed0e

  Copy full SHA for fa6ed0e

• remove stray comments

  blattm

  committed
  f4a3157

  Copy full SHA for f4a3157

• remove stray comment

  blattm

  committed
  9c577a4

  Copy full SHA for 9c577a4

• polish string slicer integration

  blattm

  committed
  ce163e9

  Copy full SHA for ce163e9

Commits on Sep 4, 2024

• clean up go prologue removal

  blattm

  committed
  5357b0d

  Copy full SHA for 5357b0d

• clean up generic boilerplate removal

  blattm

  committed
  454ee6c

  Copy full SHA for 454ee6c

• remove non-aggressive boilerplate removal code

  blattm

  committed
  c4cbf1f

  Copy full SHA for c4cbf1f

• remove boilerplate removal without merged sinks

  blattm

  committed
  32e26ca

  Copy full SHA for 32e26ca

• remove unused imports

  blattm

  committed
  e1f9b8d

  Copy full SHA for e1f9b8d

• document code

  blattm

  committed
  027f72b

  Copy full SHA for 027f72b

• remove left over evaluation code

  blattm

  committed
  e023fe3

  Copy full SHA for e023fe3

• bugfix to use _unused_addesses in Go prologue removal as well

  blattm

  committed
  9098d7c

  Copy full SHA for 9098d7c

• format

  blattm

  committed
  69b8c1c

  Copy full SHA for 69b8c1c

• deactivate string detection by default

  blattm

  committed
  6a96324

  Copy full SHA for 6a96324

• change pipeline order

  blattm

  committed
  50ec3c4

  Copy full SHA for 50ec3c4

Commits on Nov 7, 2024

• Merge branch 'main' into go-rust-new

  ebehner

  authored
  af570df

  Copy full SHA for af570df

• start with some updates

  ebehner

  committed
  97e79af

  Copy full SHA for 97e79af

Commits on Nov 8, 2024

• more updates go rust

  ebehner

  committed
  b272693

  Copy full SHA for b272693

• no use of __match_args__ anymore

  ebehner

  committed
  1da337e

  Copy full SHA for 1da337e

• Merge branch 'main' into go-rust-new

  ebehner

  authored
  3990dff

  Copy full SHA for 3990dff

Commits on Nov 13, 2024

• Merge branch 'main' into go-rust-new

  ebehner

  authored
  dfe8610

  Copy full SHA for dfe8610