Code

InSpectre gadget v0.1#17

Code

Merged

SanWieb merged 10 commits intovusec:mainvusec/inspectre-gadget:mainfrom SanWieb:mainCopy head branch name to clipboardJan 29, 2024

+20,668-512

Commits

Commits on Jan 8, 2024

• [tests] Add automatic test-case verification

  SanWieb

  authored
  ae7c5ce

  Copy full SHA for ae7c5ce

• [scanner] Exclude ret TFPs and exclude last BB

  Show description for 592e2e1
  SanWieb

  authored
  592e2e1

  Copy full SHA for 592e2e1

• [tests] Delete obsolete ref folder

  SanWieb

  committed
  b2649b1

  Copy full SHA for b2649b1

Commits on Jan 10, 2024

• [ranges] Add wrap-around support for infer-isolated, improve disjoint ranges #3

  SanWieb

  committed
  09c33fc

  Copy full SHA for 09c33fc

Commits on Jan 16, 2024

• [ranges] Add wrap-around support for infer-isolated, improve disjoint ranges - #3

  SanWieb

  authored
  6dfaca6

  Copy full SHA for 6dfaca6

• [scanner] Add support for code-load covert channel

  SanWieb

  committed
  dcdd184

  Copy full SHA for dcdd184

Commits on Jan 17, 2024

• [scanner] Fix 'NoneType' object has no attribute 'and_mask' bug

  SanWieb

  committed
  112d84d

  Copy full SHA for 112d84d

• [ranges] Fix add/mul assert bug and handle unsatisfiable contraints

  SanWieb

  committed
  70f575e

  Copy full SHA for 70f575e

Commits on Jan 19, 2024

• [reasoner] Add SLAM Covert channel support

  SanWieb

  committed
  a8f488f

  Copy full SHA for a8f488f

Commits on Jan 26, 2024

• [tests] Refine codeload testcase and fix sorting

  SanWieb

  committed
  57aa6d2

  Copy full SHA for 57aa6d2