Repository navigation

Enable LIT Testing - #861

Merged

fabianbs96 merged 28 commits into

secure-software-engineering:developmentfrom

fabianbs96:f-LIT

Sep 23, 2026

Merged

Enable LIT Testing#861
fabianbs96 merged 28 commits into
secure-software-engineering:developmentfrom
fabianbs96:f-LIT

Commits on Aug 24, 2026
- added lit test suite for xtaint tests
  mxHuber
  committed
  12a4b6f
Commits on Aug 25, 2026
- moved lit comments to the bottom, so new tests added don't disrupt leak lines
  mxHuber
  committed
  6db805e
Commits on Sep 6, 2026
- added prefixes, ifds-fieldsens and fixed ideextaint prints
  mxHuber
  committed
  063c2e5
- added ide-xtaint test lines after print fix
  mxHuber
  committed
  8b94ad1
Commits on Sep 9, 2026
- moved xtaint domain and printer selector
  mxHuber
  committed
  2354965
- added custom target for lit tests
  mxHuber
  committed
  0a06502
Commits on Sep 10, 2026
- added Fabians double free tests
  mxHuber
  committed
  bb85cc5
- added xtaint lit test to both taint_analysis/double_free tests
  mxHuber
  committed
  426345d
- added lit commands to df tests
  mxHuber
  committed
  31a07dc
- added "No leaks found!" print for more clarity and better lit testing
  mxHuber
  committed
  7a09a7b
- Removed addition print, as it was moved in previous commit
  mxHuber
  committed
  29ff61e
Commits on Sep 14, 2026
- added monoifds and sparse-ifds lit tests for double free tests
  mxHuber
  committed
  c28c5d7
- added mono and sparse ifds lit tests for xtaint tests
  mxHuber
  committed
  07501b7
Commits on Sep 15, 2026
- CMake Lit config + path substitutions
  fabianbs96
  committed
  2a058d5
Commits on Sep 17, 2026
- Fix xtaint tests + add cmake option PHASAR_ENABLE_INTEGRATIONTESTS + integrate into ci
  fabianbs96
  committed
  755b358
- Reverting obsolete artifacts
  fabianbs96
  committed
  6e1983e
Commits on Sep 19, 2026
- Install required apt package for lit / filecheck
  fabianbs96
  committed
  c5cb2e6
- Merge branch 'development' into f-LIT
  fabianbs96
  committed
  d76da1e
- Next attempt to fix ci
  fabianbs96
  committed
  f1ae7a7
- Next attempt to fix ci
  fabianbs96
  committed
  ed62bf5
- Fix mono-ifds ground-truth
  fabianbs96
  committed
  7695f01
- Fix paths in double-free tests
  fabianbs96
  committed
  a9e2c95
- Next attempt to fix CI
  fabianbs96
  committed
  b1a6532
- Fix docker CI + bump checkout action
  fabianbs96
  committed
  c250ef0
- Remove phasar_pass from libphasar to prevent double-registration of cli options with shared libraries
  fabianbs96
  committed
  30c6b13
- modules
  fabianbs96
  committed
  e4c68b4
- Fix df_21 compilation with clang-22
  fabianbs96
  committed
  6193aca
Commits on Sep 23, 2026
- Standalone lit test support
  fabianbs96
  committed
  bed3f23

Commits

Commits on Aug 24, 2026

Commits on Aug 25, 2026

Commits on Sep 6, 2026

Commits on Sep 9, 2026

Commits on Sep 10, 2026

Commits on Sep 14, 2026

Commits on Sep 15, 2026

Commits on Sep 17, 2026

Commits on Sep 19, 2026

Commits on Sep 23, 2026