Code

Fixes to DFG#1382

Code

Draft

oxisto wants to merge 144 commits intomainFraunhofer-AISEC/cpg:mainfrom small-dfg-fixFraunhofer-AISEC/cpg:small-dfg-fixCopy head branch name to clipboard

+3,854-161

Commits

Commits on Dec 30, 2023

• Experimental support to run passes in parallel

  oxisto

  committed
  55224ab

• Experimental support to run passes in parallel

  oxisto

  committed
  4b78fc3

• Consider READWRITE of variables as last write location

  

  KuechA

  authored and

  oxisto

  committed
  a754912

• Some fixes for pointer DFG

  

  KuechA

  authored and

  oxisto

  committed
  fc0839f

• Fix bugs

  

  KuechA

  authored and

  oxisto

  committed
  35505d4

• More fixes

  

  KuechA

  authored and

  oxisto

  committed
  78a0979

• Fix bugs

  

  KuechA

  authored and

  oxisto

  committed
  b654c02

• Be more open!

  

  KuechA

  authored and

  oxisto

  committed
  42b5bbc

• Hotfix

  

  KuechA

  authored and

  oxisto

  committed
  bbf0629

• Fix problem of unconnected dfg for unknown functions

  

  KuechA

  authored and

  oxisto

  committed
  0bd1413

• Fix bug caused by inconsistencies

  

  KuechA

  authored and

  oxisto

  committed
  d676dd7

• Use comment matcher also in CXX frontend

  

  KuechA

  authored and

  oxisto

  committed
  3713d7b

• Try more fixes

  

  KuechA

  authored and

  oxisto

  committed
  1d540c4

• Try more efficient flags

  

  KuechA

  authored and

  oxisto

  committed
  a3841c2

• Added comment to be careful about replacing

  oxisto

  committed
  4f2db1d

• Fixed NPE

  oxisto

  committed
  26e1e49

• more parallel

  oxisto

  committed
  e909f92

• Rebased with parallel passes

  oxisto

  committed
  4f8c894

• ++

  oxisto

  committed
  34332d1

• No more DFG Edges to FunctionDeclaration

  

  morbitzer

  authored and

  oxisto

  committed
  33d2d1a

Commits on Jan 11, 2024

• Merge branch 'main' into small-dfg-fix

  KuechA

  authored
  e395527

Commits on Jan 17, 2024

• Added continueAfterHit flag to followNextDFGEdgesUntilHit

  morbitzer

  committed
  ba40f18

Commits on Mar 18, 2024

• Merge branch 'main' into small-dfg-fix

  KuechA

  authored
  006a8d8

Commits on Mar 19, 2024

• Merge branch 'main' into small-dfg-fix

  KuechA

  authored
  52bdc7e

• intellij formatting

  morbitzer

  committed
  4ac2dbb

Commits on Mar 20, 2024

• public methods#

  KuechA

  committed
  9075a5e

Commits on Mar 27, 2024

• Merge branch 'main' into small-dfg-fix

  oxisto

  committed
  6ec8133

Commits on Apr 4, 2024

• Multi path followDFG

  KuechA

  committed
  521771e

Commits on Apr 10, 2024

• Merge branch 'main' into small-dfg-fix

  oxisto

  committed
  bcb9be2

• Merge remote-tracking branch 'origin/main' into small-dfg-fix

  oxisto

  committed
  945d414

Commits on Apr 11, 2024

• Merge branch 'main' into small-dfg-fix

  KuechA

  authored
  65c59f9

Commits on Apr 25, 2024

• Fix missing import

  KuechA

  committed
  48d969f

Commits on Apr 29, 2024

• fixed broken EOG in do-while loops

  morbitzer

  committed
  7abad4c

Commits on May 5, 2024

• prevent Functionsummaries from breaking in case of not enough arguments

  morbitzer

  committed
  59f2b3e

• Prevent CDG from looping endlessly

  morbitzer

  committed
  3edb188

• fixed merge conflict

  morbitzer

  committed
  5d726eb

• switched alreadySeen to hashCode-List to avoid endless loops

  morbitzer

  committed
  532d2d8

Commits on May 7, 2024

• Merge branch 'main' into small-dfg-fix

  KuechA

  committed
  131f7cd

Commits on May 8, 2024

• Only propagate type updates in a Reference from FULL previous DFG nodes

  Show description for bfe9bd6
  oxisto

  committed
  bfe9bd6

• Merge branch 'dfg-propagate-fix' into small-dfg-fix

  oxisto

  committed
  212c560

Commits on May 13, 2024

• fixed broken alreadySeen checks

  morbitzer

  committed
  93b36d8

• avoid double DFG-Edges

  morbitzer

  committed
  0d628e2

Commits on May 14, 2024

• Node.followNextFullDFGEdgesUntilHit now doesn't stop anymore in nested functions

  morbitzer

  committed
  6ea4323

Commits on May 21, 2024

• Very ugly hack to avoid loops

  oxisto

  committed
  8ec6b2d

Commits on May 28, 2024

• Merge remote-tracking branch 'origin/main' into small-dfg-fix

  oxisto

  committed
  01e98d5

• IncompleteType now has a language

  oxisto

  committed
  a326770

Commits on Jun 3, 2024

• Merge remote-tracking branch 'origin/main' into small-dfg-fix

  oxisto

  committed
  472d4a4

• fixed a typo

  morbitzer

  committed
  bb6057d

Commits on Jun 14, 2024

• Merge branch 'main' into small-dfg-fix

  morbitzer

  committed
  7d01b9f

Commits on Jun 17, 2024

• fixy fix

  oxisto

  committed
  8784d6b

Commits on Jun 18, 2024

• Differentiate between CallingContexts for edgeProperties

  morbitzer

  committed
  63804f4

Commits on Jun 25, 2024

• Trying to fix edgePropertiesMap with Aliases

  morbitzer

  committed
  46cd61a

Commits on Jul 22, 2024

• Started adding PointerDFs

  morbitzer

  committed
  bc1fd32

• Remove unneeded DFG-Edges for pointer access

  morbitzer

  committed
  101f617

Commits on Jul 23, 2024

• Revert "Remove unneeded DFG-Edges for pointer access"

  Show description for cce64b9
  morbitzer

  committed
  cce64b9

• Revert "Started adding PointerDFs"

  Show description for 548b016
  morbitzer

  committed
  548b016

Commits on Jul 26, 2024

• Added PointerDataFlows

  morbitzer

  committed
  fc41e34

Commits on Aug 2, 2024

• Changed unwrapReference to not remove UnaryOperator

  morbitzer

  committed
  983203f

Commits on Aug 7, 2024

• started working on pointer stuff

  morbitzer

  committed
  08d4d06

Commits on Sep 4, 2024

• removed valueAccess flag from PointerDataflowGranularity

  morbitzer

  committed
  626c10e

• Added/Fixed PointerDataFlows

  morbitzer

  committed
  178213e

• started changing DFG for C(++)

  morbitzer

  committed
  49373d0

Commits on Sep 5, 2024

• Revert "started changing DFG for C(++)"

  Show description for d54eff1
  morbitzer

  committed
  d54eff1

• Revert "Added/Fixed PointerDataFlows"

  Show description for abae76c
  morbitzer

  committed
  abae76c

• Introduced PointerReference and PointerDereference Node

  morbitzer

  committed
  33a7f2d

• adapted unwrapReference for PointerReference/PointerDereference

  morbitzer

  committed
  8957f84

• added missing PointerDereference/PointerReference classes

  morbitzer

  committed
  fe4c49b

Commits on Sep 9, 2024

• started adapting AliasCFS Pass to new pointer magic

  morbitzer

  committed
  d3c930c

Commits on Sep 10, 2024

• PointerDataFlowGranularity for PointerReferences

  morbitzer

  committed
  a713c3f

Commits on Sep 23, 2024

• Consider PointerReferences for AliasCFSDFG

  morbitzer

  committed
  c7a7556

Commits on Oct 7, 2024

• Pointer Stuff

  morbitzer

  committed
  2c68aca

Commits on Oct 9, 2024

• Merge branch 'main' into small-dfg-fix

  maximiliankaul

  committed
  a38b853

Commits on Oct 10, 2024

• add prev/nextPDG shorthand

  maximiliankaul

  committed
  2c1c054

• Merge branch 'mk/pdgshorthand' into small-dfg-fix

  maximiliankaul

  committed
  0e915fb

• Merge branch 'main' into small-dfg-fix

  maximiliankaul

  committed
  fddcc87

Commits on Oct 14, 2024

• hashCode and equals for custom granularities

  morbitzer

  committed
  218bb19

• fixed hashCode()

  morbitzer

  committed
  104e91c

• replaced hashCodes with data class

  morbitzer

  committed
  25cfa8b

• determine granularity based on edgePropertiesMap

  morbitzer

  committed
  2e4c223

Commits on Oct 15, 2024

• added input to pointer(de)reference

  morbitzer

  committed
  31546ab

Commits on Oct 16, 2024

• Try a new eog iteration

  KuechA

  committed
  b899cc4

Commits on Oct 30, 2024

• Merge branch 'main' into small-dfg-fix

  maximiliankaul

  committed
  18edf60

• Fix one test

  KuechA

  committed
  3ba4f87

• Comment out test which does not make sense

  KuechA

  committed
  59f108f

Commits on Nov 6, 2024

• Merge branch 'main' into small-dfg-fix

  maximiliankaul

  committed
  833630c

• use refers to instead of aliases (which are not known at this point)

  maximiliankaul

  committed
  0c96c4c

• allow other code to rewrite findAndSetProperties

  maximiliankaul

  committed
  1c5a7fe

Commits on Nov 12, 2024

• Document ignored tests

  KuechA

  committed
  ee424f6

• Update fixpoint iteration to be faster

  KuechA

  committed
  9178d65

• Type propagation

  KuechA

  committed
  bfe6f66

• Try to fix tests but without effect

  KuechA

  committed
  bc5c5d4

Commits on Nov 15, 2024

• Started on Points to Analysis

  morbitzer

  committed
  c010192

Commits on Nov 19, 2024

• continued on PointsToPass

  morbitzer

  committed
  b370219

• add location to BinaryOperator.toString()

  maximiliankaul

  committed
  0bd9b5e

• continued again on PointsToPassTest

  morbitzer

  committed
  ab46dd1

Commits on Nov 20, 2024

• initial version of PointerPassTest working

  morbitzer

  committed
  e887a4b

• Added PointsToPassTest

  morbitzer

  committed
  9514d44

Commits on Nov 21, 2024

• added conditions test to PointsToTest

  morbitzer

  committed
  642d4fe

• started working on struct-support for PointsToPass

  morbitzer

  committed
  13c5396

Commits on Nov 22, 2024

• finished struct support for PointsToPass

  morbitzer

  committed
  a3d37b0

• added array support for PointsToPass (no test yet)

  morbitzer

  committed
  0e15fae

Commits on Nov 25, 2024

• Added Test for PointerPassTest for Arrays

  morbitzer

  committed
  51513aa

• started on memcpy support for PointsToPass

  morbitzer

  committed
  d23367c

• finished memcpy support for PointsToPass

  morbitzer

  committed
  de718ae

Commits on Nov 26, 2024

• Added PointerToPointer test for PointersToPass

  morbitzer

  committed
  5e98082

Commits on Nov 27, 2024

• TODOs for context sensitive analysis

  KuechA

  committed
  2df3476

• Initial try with EOG ordering in pass

  KuechA

  committed
  6e04278

• Update

  KuechA

  committed
  9290c62

• Update

  KuechA

  committed
  518074f

• started using PlaceholderMemoryValue and UnknownMemoryValue

  morbitzer

  committed
  aa86831

Commits on Nov 28, 2024

• fix goto / label missing names

  maximiliankaul

  committed
  1863196

• code review

  maximiliankaul

  committed
  242edfb

• test++

  maximiliankaul

  committed
  add4710

• test++

  maximiliankaul

  committed
  6f484a4

Commits on Dec 3, 2024

• Added FunctionSummaries to PointsToPass

  morbitzer

  committed
  13ada9d

• continued on FunctionSummaries

  morbitzer

  committed
  f927edc

Commits on Dec 4, 2024

• more functionSummaries handling

  morbitzer

  committed
  93e9ad3

• cleaned up

  morbitzer

  committed
  505fcab

• Merge branch 'main' into small-dfg-fix

  KuechA

  authored
  a9ebfcb

Commits on Dec 5, 2024

• Fix spotless

  KuechA

  committed
  60b9c0c

• Fix query test

  KuechA

  committed
  252c688

• Fix query test

  KuechA

  committed
  adefc32

• Revert "Fix query test"

  Show description for 1745f1f
  KuechA

  committed
  1745f1f

• Revert "Fix query test"

  Show description for 398b3ec
  KuechA

  committed
  398b3ec

• Revert "Fix spotless"

  Show description for 1c51494
  KuechA

  committed
  1c51494

• Merge branch 'main' into small-dfg-fix

  KuechA

  authored
  bacfefa

• Improved on Function Summaries

  morbitzer

  committed
  478dc01

Commits on Dec 9, 2024

• moved memoryValue to prevDFG

  morbitzer

  committed
  c55f51c

• got things running again

  morbitzer

  committed
  ef0559d

• continued on functionSummaries

  morbitzer

  committed
  3349ec6

Commits on Dec 10, 2024

• tests work again but ugly

  morbitzer

  committed
  f9dc30b

• Fix some bugs

  KuechA

  committed
  451bf8d

• Add value only once if unknown

  KuechA

  committed
  1948ca3

• First working version of function Summaries

  morbitzer

  committed
  c521a21

Commits on Dec 11, 2024

• finished functionSummaries

  morbitzer

  committed
  d2224e2

• fixed resolving of literals

  morbitzer

  committed
  3bfe2fc

Commits on Dec 12, 2024

• fixed GhidraTest

  morbitzer

  committed
  2558fb5

• attached function Summaries to functionDeclaration

  morbitzer

  committed
  c9df04a

Commits on Dec 13, 2024

• FunctionSummaries now also include partial writes

  morbitzer

  committed
  831547a

Commits on Dec 17, 2024

• Merge branch 'main' into small-dfg-fix

  KuechA

  authored
  63013f6

• Add sanity check

  KuechA

  committed
  92533e6

• Some fixes

  KuechA

  committed
  b80db86

Commits on Dec 18, 2024

• draw dfg edges via call expressions

  morbitzer

  committed
  6ed5357

• bugfix

  morbitzer

  committed
  fde0c20