Code

Refine types based on debug metadata#191

Code

Draft

frabert wants to merge 33 commits intomasterlifting-bits/rellic:masterfrom use-debug-typeslifting-bits/rellic:use-debug-typesCopy head branch name to clipboard

+281-37

Commits

Commits on Oct 22, 2021

• Initial work on refining types

  frabert

  committed
  9798e97

  Copy full SHA for 9798e97

Commits on Oct 25, 2021

• Visit global variables, improve return types

  frabert

  committed
  49e2601

  Copy full SHA for 49e2601

• Implement typedef printing

  frabert

  committed
  b32d10a

  Copy full SHA for b32d10a

Commits on Oct 26, 2021

• Improve type refinement for fields and arguments

  frabert

  committed
  55d3a13

  Copy full SHA for 55d3a13

• Fix struct members

  frabert

  committed
  2b1e41d

  Copy full SHA for 2b1e41d

Commits on Oct 28, 2021

• Add explanation for checking argument count

  frabert

  committed
  7db935e

  Copy full SHA for 7db935e

• Add unit test for ASTBuilder::CreateTypedefDecl

  frabert

  committed
  1067041

  Copy full SHA for 1067041

Commits on Oct 29, 2021

• Fix varargs debug type analysis

  frabert

  committed
  0486438

  Copy full SHA for 0486438

• Use more debug info for prototypes

  frabert

  committed
  171e90e

  Copy full SHA for 171e90e

Commits on Oct 31, 2021

• Fix function argument type refinement

  frabert

  committed
  09f8a2e

  Copy full SHA for 09f8a2e

• Default to signed integers

  frabert

  committed
  bdd21e4

  Copy full SHA for bdd21e4

• Fix tests

  frabert

  committed
  7c474eb

  Copy full SHA for 7c474eb

Commits on Nov 1, 2021

• Desugar types for Z3 conversion

  frabert

  committed
  e0e6efe

  Copy full SHA for e0e6efe

• Initial work on refining types

  frabert

  committed
  175c073

  Copy full SHA for 175c073

• Visit global variables, improve return types

  frabert

  committed
  b55a8d0

  Copy full SHA for b55a8d0

• Implement typedef printing

  frabert

  committed
  287e137

  Copy full SHA for 287e137

• Improve type refinement for fields and arguments

  frabert

  committed
  2292193

  Copy full SHA for 2292193

• Fix struct members

  frabert

  committed
  c3da195

  Copy full SHA for c3da195

• Add explanation for checking argument count

  frabert

  committed
  36cb7c8

  Copy full SHA for 36cb7c8

• Add unit test for ASTBuilder::CreateTypedefDecl

  frabert

  committed
  33294d3

  Copy full SHA for 33294d3

• Fix varargs debug type analysis

  frabert

  committed
  e878d42

  Copy full SHA for e878d42

• Use more debug info for prototypes

  frabert

  committed
  6b4d302

  Copy full SHA for 6b4d302

• Fix function argument type refinement

  frabert

  committed
  b231b24

  Copy full SHA for b231b24

• Default to signed integers

  frabert

  committed
  e02bd8a

  Copy full SHA for e02bd8a

• Fix tests

  frabert

  committed
  3676aa5

  Copy full SHA for 3676aa5

• Desugar types for Z3 conversion

  frabert

  committed
  a9b5371

  Copy full SHA for a9b5371

• Merge branch 'use-debug-types' of github.com:lifting-bits/rellic into use-debug-types

  frabert

  committed
  0386c2b

  Copy full SHA for 0386c2b

Commits on Nov 4, 2021

• Merge branch 'master' into use-debug-types

  frabert

  committed
  af69ad5

  Copy full SHA for af69ad5

• Add utility functions

  frabert

  committed
  8f39d9d

  Copy full SHA for 8f39d9d

• Fix bugs

  frabert

  committed
  35599ba

  Copy full SHA for 35599ba

Commits on Nov 8, 2021

• Merge branch 'master' into use-debug-types

  frabert

  committed
  2905038

  Copy full SHA for 2905038

• Add void to ptr casts

  frabert

  committed
  dbd0d82

  Copy full SHA for dbd0d82

• Use plain char when asking for signed char

  frabert

  committed
  38991a6

  Copy full SHA for 38991a6