Commits

Branch selector

 06b1b7d

User selector

All users

Datepicker

All time

Commit History

Commits on May 15, 2024

• bench: introduce initial benchmarking infrastructure

  Show description for 06b1b7d
  

  Valentin Obst

  committed
  06b1b7d

  Copy full SHA for 06b1b7d

• lib/ir/project: add/expose functions for benchmarking

  Show description for b20a9b7
  

  Valentin Obst

  committed
  b20a9b7

  Copy full SHA for b20a9b7

• lib/utils: expose functions for benchmarking

  Show description for 2b70ce7
  

  Valentin Obst

  committed
  2b70ce7

  Copy full SHA for 2b70ce7

• Merge pull request fkie-cad#462 from vobst/issue_461

  Show description for 2e04828
  vobst

  authored
  2e04828

  Copy full SHA for 2e04828

Commits on May 14, 2024

• CHANGES: improved Control Flow Propagation pass

  Show description for 395e0c2
  

  Valentin Obst

  committed
  395e0c2

  Copy full SHA for 395e0c2

• lib/ir/project: keep uniq. block-to-sub map in non-ret. calls pass

  Show description for 818e4ef
  

  Valentin Obst

  committed
  818e4ef

  Copy full SHA for 818e4ef

• lib/ir/project: test call_return_to_cond_jump_removed in CF-propagation

  Show description for 86f3c12
  

  Valentin Obst

  committed
  86f3c12

  Copy full SHA for 86f3c12

• lib/ir/project: add pass to retarget returns from non-returning calls

  Show description for 15c2ff9
  

  Valentin Obst

  committed
  15c2ff9

  Copy full SHA for 15c2ff9

• lib/ir/project: update docs of CF-propagation pass

  Show description for 5d2a31c
  

  Valentin Obst

  committed
  5d2a31c

  Copy full SHA for 5d2a31c

• lib/ir/project: code cleanup of CF-propagation pass

  Show description for e9bd03d
  

  Valentin Obst

  committed
  e9bd03d

  Copy full SHA for e9bd03d

• lib/analysis/graph: impl ToJsonCompact for Graph

  Show description for 58a951d
  

  Valentin Obst

  committed
  58a951d

  Copy full SHA for 58a951d

• lib/ir/project: CF-propagation with multiple conditions

  Show description for 7a98d2d
  

  Valentin Obst

  committed
  7a98d2d

  Copy full SHA for 7a98d2d

• lib/ir/project: test control flow propagation for call returns

  Show description for c990563
  

  Valentin Obst

  committed
  c990563

  Copy full SHA for c990563

• lib/ir/project: derive CF-propagation condition from multiple incoming edges

  Show description for cf92361
  

  Valentin Obst

  committed
  cf92361

  Copy full SHA for cf92361

• lib/ir/project: propagate control flow for call returns

  Show description for 33cfdb6
  

  Valentin Obst

  committed
  33cfdb6

  Copy full SHA for 33cfdb6

Commits on May 8, 2024

• Merge pull request fkie-cad#465 from vobst/handle_missing_params_reallocarray

  Show description for 2e08fb7
  vobst

  authored
  2e08fb7

  Copy full SHA for 2e08fb7

• lib/checkers/cwe119: handle missing parameters for reallocarray

  Show description for abeae84
  

  Valentin Obst

  committed
  abeae84

  Copy full SHA for abeae84

Commits on May 3, 2024

• Merge pull request fkie-cad#463 from vobst/clippy_1.78_fixes

  Show description for 3d95bf3
  vobst

  authored
  3d95bf3

  Copy full SHA for 3d95bf3

• clippy: fix unnecessary_get_then_check

  

  Valentin Obst

  committed
  4431bc8

  Copy full SHA for 4431bc8

• clippy: fix assigning_clones

  

  Valentin Obst

  committed
  b8c361e

  Copy full SHA for b8c361e

Commits on Apr 8, 2024

• Merge pull request fkie-cad#451 from vobst/cwe_252

  Show description for e1838be
  vobst

  authored
  e1838be

  Copy full SHA for e1838be

• changes: add improvements made to TaintAnalysis

  Show description for 12012cd
  

  Valentin Obst

  committed
  12012cd

  Copy full SHA for 12012cd

• changes: add addition of new check for CWE252

  Show description for f155f1c
  

  Valentin Obst

  committed
  f155f1c

  Copy full SHA for f155f1c

• changes: remove trailing whitespace

  Show description for 5bcf58f
  

  Valentin Obst

  committed
  5bcf58f

  Copy full SHA for 5bcf58f

• test/cwe252: memory object propagation with offset

  Show description for 575fa31
  

  Valentin Obst

  committed
  575fa31

  Copy full SHA for 575fa31

• test/cwe252: add explanatory comment

  Show description for 54df500
  

  Valentin Obst

  committed
  54df500

  Copy full SHA for 54df500

• test/cwe252: use -O0, do not skip mingw

  Show description for 4a07762
  

  Valentin Obst

  committed
  4a07762

  Copy full SHA for 4a07762

• lib/analysis/taint/state: overwrite memory taint in more cases

  Show description for 28882ba
  

  Valentin Obst

  committed
  28882ba

  Copy full SHA for 28882ba

• lib/abstract_domain: make merge_with return &mut Self

  Show description for fdc81d2
  

  Valentin Obst

  committed
  fdc81d2

  Copy full SHA for fdc81d2

• lib/analysis/taint: use DomainMap for register and memory taint

  Show description for 1b599fb
  

  Valentin Obst

  committed
  1b599fb

  Copy full SHA for 1b599fb

• lib/analysis/taint: override merge_with impl for Taint

  Show description for 2d25372
  

  Valentin Obst

  committed
  2d25372

  Copy full SHA for 2d25372

• lib/abstract_domain/domain_map: add merge_map_with to MapMergeStrategy, implement merge_with

  Show description for 108f3c4
  

  Valentin Obst

  committed
  108f3c4

  Copy full SHA for 108f3c4

• lib/abstract_domain: add merge_with method to AbstractDomain

  Show description for 1c0303b
  

  Valentin Obst

  committed
  1c0303b

  Copy full SHA for 1c0303b

• test: add LKM acceptance test for cwe252

  Show description for cc39d58
  

  Valentin Obst

  committed
  cc39d58

  Copy full SHA for cc39d58

• test: add acceptance test for cwe252

  Show description for 48196b3
  

  Valentin Obst

  committed
  48196b3

  Copy full SHA for 48196b3

Pagination

Previous

Next