Code

WIP: Update CWE 476#459

Code

Draft

vobst wants to merge 9 commits intofkie-cad:masterfkie-cad/cwe_checker:masterfrom vobst:update_cwe_476vobst/cwe_checker:update_cwe_476Copy head branch name to clipboard

+3,972-155

Commits

Commits on Apr 11, 2024

• config/cwe476: extend LKM API coverage

  Show description for 48738e8
  

  Valentin Obst

  committed
  48738e8

  Copy full SHA for 48738e8

• config/memory: extend LKM allocation API coverage

  Show description for 4fcb6a9
  

  Valentin Obst

  committed
  4fcb6a9

  Copy full SHA for 4fcb6a9

• lib/analysis/taint: propagate taint bottom-up by default

  Show description for 5f076f0
  

  Valentin Obst

  committed
  5f076f0

  Copy full SHA for 5f076f0

• lib/checkers/cwe476: update to use new TA features

  Show description for 4af3c54
  

  Valentin Obst

  committed
  4af3c54

  Copy full SHA for 4af3c54

• lib/analysis/function_signature: implement ToJsonCompact

  Show description for 1c1d61d
  

  Valentin Obst

  committed
  1c1d61d

  Copy full SHA for 1c1d61d

• lib/abstract_domain/interval: impl From<i64>

  Show description for 42de883
  

  Valentin Obst

  committed
  42de883

  Copy full SHA for 42de883

• lib/analysis/taint: make State::check_if_address_points_to_taint take ref

  Show description for a2f2047
  

  Valentin Obst

  committed
  a2f2047

  Copy full SHA for a2f2047

• lib/analysis/taint: add State::check_abstract_location_for_taint

  Show description for 530c1f0
  

  Valentin Obst

  committed
  530c1f0

  Copy full SHA for 530c1f0

• lib/checkers/cwe476: use function signatures for in-binary calls

  Show description for f6ab489
  

  Valentin Obst

  committed
  f6ab489

  Copy full SHA for f6ab489