Code

Abstract Value Analysis#1759

Code

Open

CodingDepot wants to merge 61 commits intomainFraunhofer-AISEC/cpg:mainfrom rh/abstract-value-analysisFraunhofer-AISEC/cpg:rh/abstract-value-analysisCopy head branch name to clipboard

+2,706-46

Commits

Commits on Jul 24, 2024

• create initial Size evaluator for modifiable lists

  CodingDepot

  committed
  3e76a77

Commits on Jul 29, 2024

• move all collection dependant logic into collection class

  CodingDepot

  committed
  7d9db53

Commits on Jul 31, 2024

• add support for static arrays

  CodingDepot

  committed
  3abfa1c

• implement narrowing and widening operations

  CodingDepot

  committed
  cb55e93

Commits on Aug 5, 2024

• add narrowing and widening to loop analysis

  CodingDepot

  committed
  f43919d

• handle branches in analysis

  CodingDepot

  committed
  901f9c2

Commits on Aug 8, 2024

• improve loops by preprocessing, better narrowing and valid starting ranges

  CodingDepot

  committed
  4f0e95a

• improve subtraction by handling 0 as lowest possible value

  CodingDepot

  committed
  34412ba

• mark branching nodes as nodes with an effect

  CodingDepot

  committed
  372572c

• correctly identify nodes of deeper branch layers in a loop

  CodingDepot

  committed
  0e3bc5b

Commits on Aug 12, 2024

• add documentation

  CodingDepot

  committed
  a002201

• temporarily repurpose cpg-neo4j for debugging

  CodingDepot

  committed
  3648081

Commits on Aug 19, 2024

• rework lattice intervals to support negative values

  CodingDepot

  committed
  899f919

• rename target package to circumvent gitignore

  CodingDepot

  committed
  ecc8035

• implement comparable for the LatticeInterval

  CodingDepot

  committed
  c6122c6

Commits on Aug 21, 2024

• implement the IntervalState

  CodingDepot

  committed
  fb884f5

Commits on Aug 26, 2024

• update the evaluator name in tests

  CodingDepot

  committed
  c6d3abb

• implement equals check for intervals

  CodingDepot

  committed
  d231c6d

• add method stub for condition evaluation

  CodingDepot

  committed
  54210d9

Commits on Oct 3, 2024

• Merge branch 'main' into rh/abstract-value-analysis

  KuechA

  authored
  ed21aa8

• Spotless

  KuechA

  committed
  344ea58

Commits on Oct 16, 2024

• Squashed commit of the following:

  Show description for 52cb857
  CodingDepot

  committed
  52cb857

Commits on Oct 21, 2024

• fix LatticeInterval.push to join with the previous value as it is already propagated from predecessors

  CodingDepot

  committed
  7028045

• Fix Declaration to only effect matching integers

  CodingDepot

  committed
  10f2fc2

• correctly propagate widening only within loops

  CodingDepot

  committed
  39db0ba

Commits on Oct 23, 2024

• added second evaluate call with more defined arguments

  CodingDepot

  committed
  d74c427

• support functions with side effects by creating a function-local evaluator

  CodingDepot

  committed
  6e988bb

• Merge branch 'main' into rh/abstract-value-analysis

  CodingDepot

  committed
  479f5a4

• moved side effect analysis to list instead of integer...

  CodingDepot

  committed
  e0dbe1c

Commits on Oct 28, 2024

• add new 'assignMinus' expression and add the name as code when creating a reference

  CodingDepot

  committed
  f202ffe

• cleanup

  CodingDepot

  committed
  223cc64

• add tests for the new Evaluator

  CodingDepot

  committed
  bd129b1

• first implementation for other integer operations

  CodingDepot

  committed
  f4c432f

• add prefix versions of the inc and dec operator

  CodingDepot

  committed
  02efd13

• Add test case for all implemented Integer operations

  CodingDepot

  committed
  969260b

• add auto-generated hashcode function

  CodingDepot

  committed
  1bcff47

• cleanup and documentation

  CodingDepot

  committed
  974ec6a

• remove old code

  CodingDepot

  committed
  68e3b27

• import cleanup

  CodingDepot

  committed
  e48b709

• Merge branch 'main' into rh/abstract-value-analysis

  CodingDepot

  committed
  04d3260

Commits on Oct 30, 2024

• automatically switch interval bounds if the lower bound is greater than the upper bound

  CodingDepot

  committed
  44e8079

• remove min and max comparisons after multiplication as the constructor now handles the order

  CodingDepot

  committed
  eac9e89

• convert Bounded from data class to real class to remove constructor variables

  CodingDepot

  committed
  6a3965b

• fix division to estimate x / ∞ = 0

  CodingDepot

  committed
  448363c

• simplify division cases

  CodingDepot

  committed
  7bde4ca

• Fix invalid division cases

  CodingDepot

  committed
  5bb2316

• make modulo calculation more concise

  CodingDepot

  committed
  14c7197

• beautify toString representation

  CodingDepot

  committed
  0a29a53

• add first LatticeInterval tests

  CodingDepot

  committed
  d9cb986

• fix meet of intervals when they do not overlap

  CodingDepot

  committed
  b61a970

Commits on Nov 4, 2024

• add equals operator for the Interval wrapper

  CodingDepot

  committed
  70e6853

• add tests for meet, widen, narrow and the wrapper

  CodingDepot

  committed
  dbdb0f7

• fix meet test method

  CodingDepot

  committed
  ce029f5

• change default of plusAssign and minusAssign to lose all information

  CodingDepot

  committed
  dfc5b29

• add tests for the Integer Value

  CodingDepot

  committed
  613457c

• check name of array declaration

  CodingDepot

  committed
  ee316eb

• move code block for function side effects further up

  CodingDepot

  committed
  435a673

• add tests for array and mutable list

  CodingDepot

  committed
  103de89

• remove unfinished code block in MutableList

  CodingDepot

  committed
  aa1a467

• made spotless

  CodingDepot

  committed
  ebfafd6

Commits on Nov 18, 2024

• changed the name of the Value classes to prevent confusion with builtin classes

  CodingDepot

  committed
  6557a39