Code

Fix string modeling for springboot#2

Code

Open

fhowar wants to merge 8 commits intodeclarative-configtudo-aqua/spout:declarative-configfrom fix-string-modeling-for-springboottudo-aqua/spout:fix-string-modeling-for-springbootCopy head branch name to clipboard

+218-37

Commits

Commits on Sep 13, 2023

• remove string models, springboot examples work

  fhowar

  committed
  9275f0e

  Copy full SHA for 9275f0e

Commits on Oct 3, 2023

• fix imoplementation of String.equals()

  fhowar

  committed
  1c4f056

  Copy full SHA for 1c4f056

• reversing changes from bug hunt

  fhowar

  committed
  d365d6b

  Copy full SHA for d365d6b

• add check for active iflow analysis

  fhowar

  committed
  b309ddb

  Copy full SHA for b309ddb

Commits on Oct 11, 2023

• bugfixes and more implementation of heap walker

  fhowar

  committed
  dd694ea

  Copy full SHA for dd694ea

Commits on Oct 17, 2023

• hook for methods invoked by reflection

  fhowar

  committed
  e68ae6d

  Copy full SHA for e68ae6d

Commits on Oct 22, 2023

• more generic proposal for methods with concolic/taint models

  fhowar

  committed
  9baf08c

  Copy full SHA for 9baf08c

Commits on Jan 16, 2024

• some more invoke aspects

  fhowar

  committed
  943ce39

  Copy full SHA for 943ce39