Code

Dbg def use#886

Code

Merged

robdockins merged 15 commits intomasterGaloisInc/crucible:masterfrom dbg-def-useGaloisInc/crucible:dbg-def-useCopy head branch name to clipboardOct 14, 2021

+587-137

Commits

Commits on Oct 12, 2021

• Add some more analysis in the early states of LLVM CFG translation.

  Show description for 43b7a1e
  robdockins

  committed
  43b7a1e

  Copy full SHA for 43b7a1e

• Use the results of def/use analysis to check that the input LLVM

  Show description for c914655
  robdockins

  committed
  c914655

  Copy full SHA for c914655

Commits on Oct 13, 2021

• Add the ability to emit warnings during the LLVM translation phase.

  robdockins

  committed
  c2fbc16

  Copy full SHA for c2fbc16

• Fix uc-crux-llvm build

  robdockins

  committed
  bf430e8

  Copy full SHA for bf430e8

• Fix crucible-llvm test suite

  robdockins

  committed
  e22bda5

  Copy full SHA for e22bda5

• Add a test case for #798

  robdockins

  committed
  2524e5a

  Copy full SHA for 2524e5a

• Pull the LLVMBlockInfoMap and operations into a separate module.

  Show description for f7f0705
  robdockins

  committed
  f7f0705

  Copy full SHA for f7f0705

• Increase the portability of shrink.ll

  robdockins

  committed
  26232fe

  Copy full SHA for 26232fe

• Remove the obsolete T778 test case

  robdockins

  committed
  f52e80a

  Copy full SHA for f52e80a

Commits on Oct 14, 2021

• Apply suggestions from code review

  Show description for de29429
  

  robdockins

  and

  RyanGlScott

  authored
  de29429

  Copy full SHA for de29429

• Refine how LLVM translation warnings are handled

  robdockins

  committed
  6252582

  Copy full SHA for 6252582

• Explain why we omit metadata nodes from def/use analysis

  robdockins

  committed
  0edb607

  Copy full SHA for 0edb607

• Unify style, fix typos

  robdockins

  committed
  78de24f

  Copy full SHA for 78de24f

• Generate warnings when debug value arguments are not of the expected form.

  Show description for 5212b69
  robdockins

  committed
  5212b69

  Copy full SHA for 5212b69

• Better comments on LLMVTranslationWarning

  robdockins

  committed
  da24f71

  Copy full SHA for da24f71