Code

Gtirb to ir#161

Code

Merged

l-kent merged 87 commits intomainUQ-PAC/BASIL:mainfrom walter-gtirb-to-irUQ-PAC/BASIL:walter-gtirb-to-irCopy head branch name to clipboardFeb 22, 2024

+7,807-3,447

Commits

Commits on Jul 6, 2023

• Ported from gtirb directory, takes .gts file and spits out parse tree

  Megatomato

  committed
  d4a9b24

  Copy full SHA for d4a9b24

Commits on Jul 10, 2023

• Created decoder for functionEntry in auxdata

  Megatomato

  committed
  bd3b4fa

  Copy full SHA for bd3b4fa

Commits on Jul 19, 2023

• Created visitor, about 95% finished, some bugs with memory.

  Megatomato

  committed
  57baa51

  Copy full SHA for 57baa51

• Merge remote-tracking branch 'origin' into walter-gtirb-to-ir

  Megatomato

  committed
  4eaa489

  Copy full SHA for 4eaa489

Commits on Jul 20, 2023

• Updated gtirb to IR to properly reflect jumps

  Megatomato

  committed
  1d196b5

  Copy full SHA for 1d196b5

• Fixes Memory bugs, fiddles with proxyblocks

  Megatomato

  committed
  4fec863

  Copy full SHA for 4fec863

• Renamed grammar so not confusing, attempted to fix decoder but failed :(

  Megatomato

  committed
  c334112

  Copy full SHA for c334112

Commits on Nov 26, 2023

• Merge branch 'main' into walter-gtirb-to-ir

  Megatomato

  committed
  9e0fa5f

  Copy full SHA for 9e0fa5f

• Merge

  Megatomato

  committed
  8e3f49e

  Copy full SHA for 8e3f49e

Commits on Nov 27, 2023

• code now works with changea made in main

  Megatomato

  committed
  7631f95

  Copy full SHA for 7631f95

Commits on Nov 30, 2023

• Parser creates IR, bugs in bitvectors

  Megatomato

  committed
  29dafa1

  Copy full SHA for 29dafa1

Commits on Dec 1, 2023

• Now prints an IR

  Megatomato

  committed
  26352da

  Copy full SHA for 26352da

Commits on Dec 5, 2023

• new semantics because gtirb is weird

  Megatomato

  committed
  2cd1ee5

  Copy full SHA for 2cd1ee5

Commits on Dec 7, 2023

• Changed .gts, added new decoder and function names

  Megatomato

  committed
  71fe88f

  Copy full SHA for 71fe88f

• Centralised Decoders and Arguments so not bad

  Megatomato

  committed
  4fc32ac

  Copy full SHA for 4fc32ac

Commits on Dec 11, 2023

• Added addresses and changed jump logic

  Megatomato

  committed
  c62cfb4

  Copy full SHA for c62cfb4

Commits on Dec 12, 2023

• fixed function names w/ proxies

  Megatomato

  committed
  2249838

  Copy full SHA for 2249838

Commits on Dec 13, 2023

• Updated Jump logic(again)

  Megatomato

  committed
  91fb9b5

  Copy full SHA for 91fb9b5

• Merge remote-tracking branch 'origin' into walter-gtirb-to-ir

  Megatomato

  committed
  a82e3bc

  Copy full SHA for a82e3bc

Commits on Dec 18, 2023

• Fixed jump logic for real and some mem issue

  Megatomato

  committed
  6184518

  Copy full SHA for 6184518

Commits on Dec 19, 2023

• updated .adt so compiler issues no longer a thing

  Megatomato

  committed
  931dd33

  Copy full SHA for 931dd33

• Fixed block order + removed "_PC" calls

  Megatomato

  committed
  d5fde22

  Copy full SHA for d5fde22

Commits on Dec 20, 2023

• Fixed SignExtend, ZeroExtend and Extract

  Megatomato

  committed
  336a638

  Copy full SHA for 336a638

Commits on Dec 21, 2023

• Remodeled Jumps based on Gtirb labeling

  Megatomato

  committed
  42e620b

  Copy full SHA for 42e620b

• Now adds extra blocks and correctly parses conditional statements

  Megatomato

  committed
  67110ae

  Copy full SHA for 67110ae

Commits on Jan 3, 2024

• Attempted to fix mainproc and fixed ashr ZeroExtent

  Megatomato

  committed
  e4da775

  Copy full SHA for e4da775

• Created example that produces multi-else if statement

  Megatomato

  committed
  059d60d

  Copy full SHA for 059d60d

Commits on Jan 4, 2024

• Can now parse If-chain statements

  Megatomato

  committed
  ba3beac

  Copy full SHA for ba3beac

Commits on Jan 10, 2024

• now does longifs, with some small errors

  Megatomato

  committed
  f3c1eed

  Copy full SHA for f3c1eed

• Merge remote-tracking branch 'origin' into walter-gtirb-to-ir

  Megatomato

  committed
  51915a4

  Copy full SHA for 51915a4

• Fixed bugs with longIfs and fixed uncessesary procedure creation

  Megatomato

  committed
  7d4a3d4

  Copy full SHA for 7d4a3d4

Commits on Jan 11, 2024

• Made var and cse names unique throughout ir

  Megatomato

  committed
  bfbf72f

  Copy full SHA for bfbf72f

Commits on Jan 12, 2024

• Generates boogie file!

  Megatomato

  committed
  63a97e4

  Copy full SHA for 63a97e4

• fixed InitialMem

  Megatomato

  committed
  50b9323

  Copy full SHA for 50b9323

Commits on Jan 15, 2024

• small fix to bug in jump logic

  Megatomato

  committed
  4f5523f

  Copy full SHA for 4f5523f

• Merge remote-tracking branch 'origin' into walter-gtirb-to-ir

  Megatomato

  committed
  ec9cfbd

  Copy full SHA for ec9cfbd

Commits on Jan 16, 2024

• small fixes

  Megatomato

  committed
  6064734

  Copy full SHA for 6064734

Commits on Jan 17, 2024

• removal of huffan encoding + adds blanket function returns

  Megatomato

  committed
  2edd934

  Copy full SHA for 2edd934

Commits on Jan 18, 2024

• hardcoded function arguments and results

  Megatomato

  committed
  0afa74e

  Copy full SHA for 0afa74e

Commits on Jan 22, 2024

• Merge remote-tracking branch 'origin' into walter-gtirb-to-ir

  Megatomato

  committed
  eaa11d9

  Copy full SHA for eaa11d9

Commits on Jan 23, 2024

• Merge branch 'main' into il-cfg-iterator

  ailrst

  authored
  33dd826

  Copy full SHA for 33dd826

• Small fixes to BVEQ and tested some examples

  Megatomato

  committed
  a0ac204

  Copy full SHA for a0ac204

Commits on Jan 24, 2024

• Added GTS for (most) examples

  Megatomato

  committed
  c6ccd66

  Copy full SHA for c6ccd66

• cleanup comments

  ailrst

  committed
  e9cc6cb

  Copy full SHA for e9cc6cb

• update expected

  ailrst

  committed
  86682d3

  Copy full SHA for 86682d3

• Merge pull request #141 from UQ-PAC/il-cfg-iterator

  Show description for e39fe16
  ailrst

  authored
  e39fe16

  Copy full SHA for e39fe16

Commits on Jan 25, 2024

• fiddled with some examples and did some small fixes

  Megatomato

  committed
  220dd2a

  Copy full SHA for 220dd2a

• Merge remote-tracking branch 'origin' into walter-gtirb-to-ir

  Megatomato

  committed
  dc008d1

  Copy full SHA for dc008d1

Commits on Feb 6, 2024

• Updated logic so works with new main interface

  

  Megatomato

  authored and

  ailrst

  committed
  1a5d440

  Copy full SHA for 1a5d440

• Updated Documentation

  

  Megatomato

  authored and

  ailrst

  committed
  48554e2

  Copy full SHA for 48554e2

• Large unit tests begun

  

  Megatomato

  authored and

  ailrst

  committed
  fcf97c6

  Copy full SHA for fcf97c6

• split intrusive list

  ailrst

  committed
  bf5a697

  Copy full SHA for bf5a697

• intrusivelist.from

  ailrst

  committed
  81175b2

  Copy full SHA for 81175b2

• fixes handle_long_if and handle_unlifted_indirects such that they work with Intrusive List

  

  Megatomato

  authored and

  ailrst

  committed
  5903089

  Copy full SHA for 5903089

• removes floating blocks

  

  Megatomato

  authored and

  ailrst

  committed
  e924015

  Copy full SHA for e924015

• More work on handle_unlifted_indirects

  

  Megatomato

  authored and

  ailrst

  committed
  e655920

  Copy full SHA for e655920

• handle_long_if now detects more than one longif, and small changes

  

  Megatomato

  authored and

  ailrst

  committed
  a1f0ae5

  Copy full SHA for a1f0ae5

• removed .gts from examples folder, .gtirb from tests folder

  

  Megatomato

  authored and

  ailrst

  committed
  3e0c0d8

  Copy full SHA for 3e0c0d8

• Changed decoders to work with multiple modules and removed some more extra files

  

  Megatomato

  authored and

  ailrst

  committed
  f171e74

  Copy full SHA for f171e74

• cntlm test, fixed lots of little errors

  

  Megatomato

  authored and

  ailrst

  committed
  4177a60

  Copy full SHA for 4177a60

• make GTIRB input optional instead of replacing the BAP input

  

  l-kent

  authored and

  ailrst

  committed
  ca16499

  Copy full SHA for ca16499

• cleanup

  

  l-kent

  authored and

  ailrst

  committed
  2187686

  Copy full SHA for 2187686

• fix runutils

  ailrst

  committed
  6914382

  Copy full SHA for 6914382

• makefile lift gtirb

  ailrst

  committed
  546db28

  Copy full SHA for 546db28

• make SystemTests more modular and split the tests into SystemTestsBAP and SystemTestsGTIRB

  

  l-kent

  committed
  b258abe

  Copy full SHA for b258abe

• Adds GoTos to multiple blocks when GTIRB resolves Indirect Call

  Megatomato

  committed
  5642e42

  Copy full SHA for 5642e42

Commits on Feb 7, 2024

• create .gts files that work with the .relf files, remove a few unnecessary files

  

  l-kent

  committed
  bbd4147

  Copy full SHA for bbd4147

• Merge remote-tracking branch 'origin/walter-gtirb-to-ir' into walter-gtirb-to-ir

  

  l-kent

  committed
  a36f1c2

  Copy full SHA for a36f1c2

• fix lift.mk

  

  l-kent

  committed
  44669e5

  Copy full SHA for 44669e5

• fix issue with base64 strings so characters are replaced uniquely and '/' is replaced

  

  l-kent

  committed
  4169ace

  Copy full SHA for 4169ace

• add json files, fix make files

  

  l-kent

  committed
  6a41387

  Copy full SHA for 6a41387

Commits on Feb 8, 2024

• Fix for get_jmp_reg and made Stmt_Tcall more robust

  Megatomato

  committed
  90fa7ee

  Copy full SHA for 90fa7ee

• revert changes to examples

  

  l-kent

  committed
  141449b

  Copy full SHA for 141449b

Commits on Feb 12, 2024

• re-add useful removed examples

  

  l-kent

  committed
  7313f1b

  Copy full SHA for 7313f1b

Commits on Feb 19, 2024

• big rework so now cntlm is handled

  

  l-kent

  committed
  4e1a796

  Copy full SHA for 4e1a796

• fix modifies propagation

  

  l-kent

  committed
  4136686

  Copy full SHA for 4136686

Commits on Feb 20, 2024

• add exception messages

  

  l-kent

  committed
  f84c7f1

  Copy full SHA for f84c7f1

• add labels to statements from gtirb

  

  l-kent

  committed
  5477e6d

  Copy full SHA for 5477e6d

• edit make files to allow so json not automatically created, gts can be created and removed separately

  

  l-kent

  committed
  5068242

  Copy full SHA for 5068242

• update makefiles

  

  l-kent

  committed
  102a75a

  Copy full SHA for 102a75a

Commits on Feb 21, 2024

• update gitignore

  

  l-kent

  committed
  0e5489a

  Copy full SHA for 0e5489a

• update gts files

  

  l-kent

  committed
  47a46d6

  Copy full SHA for 47a46d6

• remove gts & ast.json files from examples

  

  l-kent

  committed
  929af28

  Copy full SHA for 929af28

• Merge branch 'main' into walter-gtirb-to-ir

  

  l-kent

  committed
  ed65b60

  Copy full SHA for ed65b60

• update readme a little

  

  l-kent

  committed
  bd1d199

  Copy full SHA for bd1d199

• update readme a little more

  

  l-kent

  committed
  19a1047

  Copy full SHA for 19a1047

Commits on Feb 22, 2024

• improve comments

  

  l-kent

  committed
  2416045

  Copy full SHA for 2416045