Code

Fixes to DFG#1382

Code

Draft

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

+4,524-176

Commits

Commits on Dec 30, 2023

• Experimental support to run passes in parallel

  oxisto

  committed
  55224ab

  Copy full SHA for 55224ab

• Experimental support to run passes in parallel

  oxisto

  committed
  4b78fc3

  Copy full SHA for 4b78fc3

• Consider READWRITE of variables as last write location

  

  KuechA

  authored and

  oxisto

  committed
  a754912

  Copy full SHA for a754912

• Some fixes for pointer DFG

  

  KuechA

  authored and

  oxisto

  committed
  fc0839f

  Copy full SHA for fc0839f

• Fix bugs

  

  KuechA

  authored and

  oxisto

  committed
  35505d4

  Copy full SHA for 35505d4

• More fixes

  

  KuechA

  authored and

  oxisto

  committed
  78a0979

  Copy full SHA for 78a0979

• Fix bugs

  

  KuechA

  authored and

  oxisto

  committed
  b654c02

  Copy full SHA for b654c02

• Be more open!

  

  KuechA

  authored and

  oxisto

  committed
  42b5bbc

  Copy full SHA for 42b5bbc

• Hotfix

  

  KuechA

  authored and

  oxisto

  committed
  bbf0629

  Copy full SHA for bbf0629

• Fix problem of unconnected dfg for unknown functions

  

  KuechA

  authored and

  oxisto

  committed
  0bd1413

  Copy full SHA for 0bd1413

• Fix bug caused by inconsistencies

  

  KuechA

  authored and

  oxisto

  committed
  d676dd7

  Copy full SHA for d676dd7

• Use comment matcher also in CXX frontend

  

  KuechA

  authored and

  oxisto

  committed
  3713d7b

  Copy full SHA for 3713d7b

• Try more fixes

  

  KuechA

  authored and

  oxisto

  committed
  1d540c4

  Copy full SHA for 1d540c4

• Try more efficient flags

  

  KuechA

  authored and

  oxisto

  committed
  a3841c2

  Copy full SHA for a3841c2

• Added comment to be careful about replacing

  oxisto

  committed
  4f2db1d

  Copy full SHA for 4f2db1d

• Fixed NPE

  oxisto

  committed
  26e1e49

  Copy full SHA for 26e1e49

• more parallel

  oxisto

  committed
  e909f92

  Copy full SHA for e909f92

• Rebased with parallel passes

  oxisto

  committed
  4f8c894

  Copy full SHA for 4f8c894

• ++

  oxisto

  committed
  34332d1

  Copy full SHA for 34332d1

• No more DFG Edges to FunctionDeclaration

  

  morbitzer

  authored and

  oxisto

  committed
  33d2d1a

  Copy full SHA for 33d2d1a

Commits on Jan 11, 2024

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

  KuechA

  authored
  e395527

  Copy full SHA for e395527

Commits on Jan 17, 2024

• Added continueAfterHit flag to followNextDFGEdgesUntilHit

  morbitzer

  committed
  ba40f18

  Copy full SHA for ba40f18

Commits on Mar 18, 2024

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

  KuechA

  authored
  006a8d8

  Copy full SHA for 006a8d8

Commits on Mar 19, 2024

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

  KuechA

  authored
  52bdc7e

  Copy full SHA for 52bdc7e

• intellij formatting

  morbitzer

  committed
  4ac2dbb

  Copy full SHA for 4ac2dbb

Commits on Mar 20, 2024

• public methods#

  KuechA

  committed
  9075a5e

  Copy full SHA for 9075a5e

Commits on Mar 27, 2024

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

  oxisto

  committed
  6ec8133

  Copy full SHA for 6ec8133

Commits on Apr 4, 2024

• Multi path followDFG

  KuechA

  committed
  521771e

  Copy full SHA for 521771e

Commits on Apr 10, 2024

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

  oxisto

  committed
  bcb9be2

  Copy full SHA for bcb9be2

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

  oxisto

  committed
  945d414

  Copy full SHA for 945d414

Commits on Apr 11, 2024

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

  KuechA

  authored
  65c59f9

  Copy full SHA for 65c59f9

Commits on Apr 25, 2024

• Fix missing import

  KuechA

  committed
  48d969f

  Copy full SHA for 48d969f

Commits on Apr 29, 2024

• fixed broken EOG in do-while loops

  morbitzer

  committed
  7abad4c

  Copy full SHA for 7abad4c

Commits on May 5, 2024

• prevent Functionsummaries from breaking in case of not enough arguments

  morbitzer

  committed
  59f2b3e

  Copy full SHA for 59f2b3e

• Prevent CDG from looping endlessly

  morbitzer

  committed
  3edb188

  Copy full SHA for 3edb188

• fixed merge conflict

  morbitzer

  committed
  5d726eb

  Copy full SHA for 5d726eb

• switched alreadySeen to hashCode-List to avoid endless loops

  morbitzer

  committed
  532d2d8

  Copy full SHA for 532d2d8

Commits on May 7, 2024

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

  KuechA

  committed
  131f7cd

  Copy full SHA for 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

  Copy full SHA for bfe9bd6

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

  oxisto

  committed
  212c560

  Copy full SHA for 212c560

Commits on May 13, 2024

• fixed broken alreadySeen checks

  morbitzer

  committed
  93b36d8

  Copy full SHA for 93b36d8

• avoid double DFG-Edges

  morbitzer

  committed
  0d628e2

  Copy full SHA for 0d628e2

Commits on May 14, 2024

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

  morbitzer

  committed
  6ea4323

  Copy full SHA for 6ea4323

Commits on May 21, 2024

• Very ugly hack to avoid loops

  oxisto

  committed
  8ec6b2d

  Copy full SHA for 8ec6b2d

Commits on May 28, 2024

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

  oxisto

  committed
  01e98d5

  Copy full SHA for 01e98d5

• IncompleteType now has a language

  oxisto

  committed
  a326770

  Copy full SHA for a326770

Commits on Jun 3, 2024

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

  oxisto

  committed
  472d4a4

  Copy full SHA for 472d4a4

• fixed a typo

  morbitzer

  committed
  bb6057d

  Copy full SHA for bb6057d

Commits on Jun 14, 2024

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

  morbitzer

  committed
  7d01b9f

  Copy full SHA for 7d01b9f

Commits on Jun 17, 2024

• fixy fix

  oxisto

  committed
  8784d6b

  Copy full SHA for 8784d6b

Commits on Jun 18, 2024

• Differentiate between CallingContexts for edgeProperties

  morbitzer

  committed
  63804f4

  Copy full SHA for 63804f4

Commits on Jun 25, 2024

• Trying to fix edgePropertiesMap with Aliases

  morbitzer

  committed
  46cd61a

  Copy full SHA for 46cd61a

Commits on Jul 22, 2024

• Started adding PointerDFs

  morbitzer

  committed
  bc1fd32

  Copy full SHA for bc1fd32

• Remove unneeded DFG-Edges for pointer access

  morbitzer

  committed
  101f617

  Copy full SHA for 101f617

Commits on Jul 23, 2024

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

  Show description for cce64b9
  morbitzer

  committed
  cce64b9

  Copy full SHA for cce64b9

• Revert "Started adding PointerDFs"

  Show description for 548b016
  morbitzer

  committed
  548b016

  Copy full SHA for 548b016

Commits on Jul 26, 2024

• Added PointerDataFlows

  morbitzer

  committed
  fc41e34

  Copy full SHA for fc41e34

Commits on Aug 2, 2024

• Changed unwrapReference to not remove UnaryOperator

  morbitzer

  committed
  983203f

  Copy full SHA for 983203f

Commits on Aug 7, 2024

• started working on pointer stuff

  morbitzer

  committed
  08d4d06

  Copy full SHA for 08d4d06

Commits on Sep 4, 2024

• removed valueAccess flag from PointerDataflowGranularity

  morbitzer

  committed
  626c10e

  Copy full SHA for 626c10e

• Added/Fixed PointerDataFlows

  morbitzer

  committed
  178213e

  Copy full SHA for 178213e

• started changing DFG for C(++)

  morbitzer

  committed
  49373d0

  Copy full SHA for 49373d0

Commits on Sep 5, 2024

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

  Show description for d54eff1
  morbitzer

  committed
  d54eff1

  Copy full SHA for d54eff1

• Revert "Added/Fixed PointerDataFlows"

  Show description for abae76c
  morbitzer

  committed
  abae76c

  Copy full SHA for abae76c

• Introduced PointerReference and PointerDereference Node

  morbitzer

  committed
  33a7f2d

  Copy full SHA for 33a7f2d

• adapted unwrapReference for PointerReference/PointerDereference

  morbitzer

  committed
  8957f84

  Copy full SHA for 8957f84

• added missing PointerDereference/PointerReference classes

  morbitzer

  committed
  fe4c49b

  Copy full SHA for fe4c49b

Commits on Sep 9, 2024

• started adapting AliasCFS Pass to new pointer magic

  morbitzer

  committed
  d3c930c

  Copy full SHA for d3c930c

Commits on Sep 10, 2024

• PointerDataFlowGranularity for PointerReferences

  morbitzer

  committed
  a713c3f

  Copy full SHA for a713c3f

Commits on Sep 23, 2024

• Consider PointerReferences for AliasCFSDFG

  morbitzer

  committed
  c7a7556

  Copy full SHA for c7a7556

Commits on Oct 7, 2024

• Pointer Stuff

  morbitzer

  committed
  2c68aca

  Copy full SHA for 2c68aca

Commits on Oct 9, 2024

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

  maximiliankaul

  committed
  a38b853

  Copy full SHA for a38b853

Commits on Oct 10, 2024

• add prev/nextPDG shorthand

  maximiliankaul

  committed
  2c1c054

  Copy full SHA for 2c1c054

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

  maximiliankaul

  committed
  0e915fb

  Copy full SHA for 0e915fb

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

  maximiliankaul

  committed
  fddcc87

  Copy full SHA for fddcc87

Commits on Oct 14, 2024

• hashCode and equals for custom granularities

  morbitzer

  committed
  218bb19

  Copy full SHA for 218bb19

• fixed hashCode()

  morbitzer

  committed
  104e91c

  Copy full SHA for 104e91c

• replaced hashCodes with data class

  morbitzer

  committed
  25cfa8b

  Copy full SHA for 25cfa8b

• determine granularity based on edgePropertiesMap

  morbitzer

  committed
  2e4c223

  Copy full SHA for 2e4c223

Commits on Oct 15, 2024

• added input to pointer(de)reference

  morbitzer

  committed
  31546ab

  Copy full SHA for 31546ab

Commits on Oct 16, 2024

• Try a new eog iteration

  KuechA

  committed
  b899cc4

  Copy full SHA for b899cc4

Commits on Oct 30, 2024

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

  maximiliankaul

  committed
  18edf60

  Copy full SHA for 18edf60

• Fix one test

  KuechA

  committed
  3ba4f87

  Copy full SHA for 3ba4f87

• Comment out test which does not make sense

  KuechA

  committed
  59f108f

  Copy full SHA for 59f108f

Commits on Nov 6, 2024

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

  maximiliankaul

  committed
  833630c

  Copy full SHA for 833630c

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

  maximiliankaul

  committed
  0c96c4c

  Copy full SHA for 0c96c4c

• allow other code to rewrite findAndSetProperties

  maximiliankaul

  committed
  1c5a7fe

  Copy full SHA for 1c5a7fe

Commits on Nov 12, 2024

• Document ignored tests

  KuechA

  committed
  ee424f6

  Copy full SHA for ee424f6

• Update fixpoint iteration to be faster

  KuechA

  committed
  9178d65

  Copy full SHA for 9178d65

• Type propagation

  KuechA

  committed
  bfe6f66

  Copy full SHA for bfe6f66

• Try to fix tests but without effect

  KuechA

  committed
  bc5c5d4

  Copy full SHA for bc5c5d4

Commits on Nov 15, 2024

• Started on Points to Analysis

  morbitzer

  committed
  c010192

  Copy full SHA for c010192

Commits on Nov 19, 2024

• continued on PointsToPass

  morbitzer

  committed
  b370219

  Copy full SHA for b370219

• add location to BinaryOperator.toString()

  maximiliankaul

  committed
  0bd9b5e

  Copy full SHA for 0bd9b5e

• continued again on PointsToPassTest

  morbitzer

  committed
  ab46dd1

  Copy full SHA for ab46dd1

Commits on Nov 20, 2024

• initial version of PointerPassTest working

  morbitzer

  committed
  e887a4b

  Copy full SHA for e887a4b

• Added PointsToPassTest

  morbitzer

  committed
  9514d44

  Copy full SHA for 9514d44

Commits on Nov 21, 2024

• added conditions test to PointsToTest

  morbitzer

  committed
  642d4fe

  Copy full SHA for 642d4fe

• started working on struct-support for PointsToPass

  morbitzer

  committed
  13c5396

  Copy full SHA for 13c5396

Commits on Nov 22, 2024

• finished struct support for PointsToPass

  morbitzer

  committed
  a3d37b0

  Copy full SHA for a3d37b0

• added array support for PointsToPass (no test yet)

  morbitzer

  committed
  0e15fae

  Copy full SHA for 0e15fae

Commits on Nov 25, 2024

• Added Test for PointerPassTest for Arrays

  morbitzer

  committed
  51513aa

  Copy full SHA for 51513aa

• started on memcpy support for PointsToPass

  morbitzer

  committed
  d23367c

  Copy full SHA for d23367c

• finished memcpy support for PointsToPass

  morbitzer

  committed
  de718ae

  Copy full SHA for de718ae

Commits on Nov 26, 2024

• Added PointerToPointer test for PointersToPass

  morbitzer

  committed
  5e98082

  Copy full SHA for 5e98082

Commits on Nov 27, 2024

• TODOs for context sensitive analysis

  KuechA

  committed
  2df3476

  Copy full SHA for 2df3476

• Initial try with EOG ordering in pass

  KuechA

  committed
  6e04278

  Copy full SHA for 6e04278

• Update

  KuechA

  committed
  9290c62

  Copy full SHA for 9290c62

• Update

  KuechA

  committed
  518074f

  Copy full SHA for 518074f

• started using PlaceholderMemoryValue and UnknownMemoryValue

  morbitzer

  committed
  aa86831

  Copy full SHA for aa86831

Commits on Nov 28, 2024

• fix goto / label missing names

  maximiliankaul

  committed
  1863196

  Copy full SHA for 1863196

• code review

  maximiliankaul

  committed
  242edfb

  Copy full SHA for 242edfb

• test++

  maximiliankaul

  committed
  add4710

  Copy full SHA for add4710

• test++

  maximiliankaul

  committed
  6f484a4

  Copy full SHA for 6f484a4

Commits on Dec 3, 2024

• Added FunctionSummaries to PointsToPass

  morbitzer

  committed
  13ada9d

  Copy full SHA for 13ada9d

• continued on FunctionSummaries

  morbitzer

  committed
  f927edc

  Copy full SHA for f927edc

Commits on Dec 4, 2024

• more functionSummaries handling

  morbitzer

  committed
  93e9ad3

  Copy full SHA for 93e9ad3

• cleaned up

  morbitzer

  committed
  505fcab

  Copy full SHA for 505fcab

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

  KuechA

  authored
  a9ebfcb

  Copy full SHA for a9ebfcb

Commits on Dec 5, 2024

• Fix spotless

  KuechA

  committed
  60b9c0c

  Copy full SHA for 60b9c0c

• Fix query test

  KuechA

  committed
  252c688

  Copy full SHA for 252c688

• Fix query test

  KuechA

  committed
  adefc32

  Copy full SHA for adefc32

• Revert "Fix query test"

  Show description for 1745f1f
  KuechA

  committed
  1745f1f

  Copy full SHA for 1745f1f

• Revert "Fix query test"

  Show description for 398b3ec
  KuechA

  committed
  398b3ec

  Copy full SHA for 398b3ec

• Revert "Fix spotless"

  Show description for 1c51494
  KuechA

  committed
  1c51494

  Copy full SHA for 1c51494

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

  KuechA

  authored
  bacfefa

  Copy full SHA for bacfefa

• Improved on Function Summaries

  morbitzer

  committed
  478dc01

  Copy full SHA for 478dc01

Commits on Dec 9, 2024

• moved memoryValue to prevDFG

  morbitzer

  committed
  c55f51c

  Copy full SHA for c55f51c

• got things running again

  morbitzer

  committed
  ef0559d

  Copy full SHA for ef0559d

• continued on functionSummaries

  morbitzer

  committed
  3349ec6

  Copy full SHA for 3349ec6

Commits on Dec 10, 2024

• tests work again but ugly

  morbitzer

  committed
  f9dc30b

  Copy full SHA for f9dc30b

• Fix some bugs

  KuechA

  committed
  451bf8d

  Copy full SHA for 451bf8d

• Add value only once if unknown

  KuechA

  committed
  1948ca3

  Copy full SHA for 1948ca3

• First working version of function Summaries

  morbitzer

  committed
  c521a21

  Copy full SHA for c521a21

Commits on Dec 11, 2024

• finished functionSummaries

  morbitzer

  committed
  d2224e2

  Copy full SHA for d2224e2

• fixed resolving of literals

  morbitzer

  committed
  3bfe2fc

  Copy full SHA for 3bfe2fc

Commits on Dec 12, 2024

• fixed GhidraTest

  morbitzer

  committed
  2558fb5

  Copy full SHA for 2558fb5

• attached function Summaries to functionDeclaration

  morbitzer

  committed
  c9df04a

  Copy full SHA for c9df04a

Commits on Dec 13, 2024

• FunctionSummaries now also include partial writes

  morbitzer

  committed
  831547a

  Copy full SHA for 831547a

Commits on Dec 17, 2024

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

  KuechA

  authored
  63013f6

  Copy full SHA for 63013f6

• Add sanity check

  KuechA

  committed
  92533e6

  Copy full SHA for 92533e6

• Some fixes

  KuechA

  committed
  b80db86

  Copy full SHA for b80db86

Commits on Dec 18, 2024

• draw dfg edges via call expressions

  morbitzer

  committed
  6ed5357

  Copy full SHA for 6ed5357

• bugfix

  morbitzer

  committed
  fde0c20

  Copy full SHA for fde0c20

• More size checks

  KuechA

  committed
  c3e20d4

  Copy full SHA for c3e20d4

• Fix missing edges to parameter values

  KuechA

  committed
  baa2a73

  Copy full SHA for baa2a73

• add check

  KuechA

  committed
  2a98f1a

  Copy full SHA for 2a98f1a

Commits on Dec 19, 2024

• better function summaries processing

  morbitzer

  committed
  70d0b10

  Copy full SHA for 70d0b10

• Remove duplicated code

  KuechA

  committed
  d637020

  Copy full SHA for d637020

• initial version using a set

  KuechA

  committed
  9e05ca1

  Copy full SHA for 9e05ca1

• working ghidra test

  morbitzer

  committed
  f40fd06

  Copy full SHA for f40fd06

Commits on Dec 20, 2024

• more logical updateValues

  morbitzer

  committed
  e423e5b

  Copy full SHA for e423e5b

• include pointer-to-pointer in functionSummary

  morbitzer

  committed
  5a510e3

  Copy full SHA for 5a510e3

Commits on Dec 21, 2024

• finished ghidraTest

  morbitzer

  committed
  d8b34bd

  Copy full SHA for d8b34bd

Commits on Dec 26, 2024

• functionSummaries now also include the names on partial writes

  morbitzer

  committed
  28c332f

  Copy full SHA for 28c332f

Commits on Jan 7, 2025

• started on substructs test

  morbitzer

  committed
  eeb8946

  Copy full SHA for eeb8946

• dereference subscriptExpressions

  morbitzer

  committed
  4b31774

  Copy full SHA for 4b31774

Commits on Jan 8, 2025

• Less strict DFGPass and generate function declarations from function summaries

  KuechA

  committed
  e1a9259

  Copy full SHA for e1a9259

• remove code in comment

  KuechA

  committed
  1c0dc96

  Copy full SHA for 1c0dc96

• More indirections for constant pointers in function summaries

  KuechA

  committed
  b961907

  Copy full SHA for b961907

• Make method public

  KuechA

  committed
  23b01ae

  Copy full SHA for 23b01ae

Commits on Jan 13, 2025

• Parse new memory addresses in DFG summaries

  KuechA

  committed
  c37d991

  Copy full SHA for c37d991

• Generate more invoke edges if nothing matches an existing function summary

  KuechA

  committed
  69bcbb3

  Copy full SHA for 69bcbb3

• EdgeList to EdgeSet for Invokes edges

  KuechA

  committed
  91ef3e8

  Copy full SHA for 91ef3e8

• introduced FSEntry type

  morbitzer

  committed
  3ce0a42

  Copy full SHA for 3ce0a42

• use 'deref' in hardcoded function summary

  morbitzer

  committed
  9f1e6b8

  Copy full SHA for 9f1e6b8

• better handling of parameters

  morbitzer

  committed
  ada4132

  Copy full SHA for ada4132

• Revert "EdgeList to EdgeSet for Invokes edges"

  Show description for 93524d1
  KuechA

  committed
  93524d1

  Copy full SHA for 93524d1

• Filter existing functions

  KuechA

  committed
  c57c71f

  Copy full SHA for c57c71f

• Make test compile again

  KuechA

  committed
  da2615d

  Copy full SHA for da2615d

• adapted PointsToPassTest to new function summary structure

  morbitzer

  committed
  c954802

  Copy full SHA for c954802

• moved fieldAddresses into DeclarationState

  morbitzer

  committed
  3077bd7

  Copy full SHA for 3077bd7

Commits on Jan 14, 2025

• cleaned up initializeParameters

  morbitzer

  committed
  e220076

  Copy full SHA for e220076

• nits

  morbitzer

  committed
  d51b714

  Copy full SHA for d51b714

• cleaned up test

  morbitzer

  committed
  513a6d1

  Copy full SHA for 513a6d1

• fixed ghidra test

  morbitzer

  committed
  48da2d3

  Copy full SHA for 48da2d3

Commits on Jan 15, 2025

• improved handling of fields

  morbitzer

  committed
  37dd0f3

  Copy full SHA for 37dd0f3

• getting write_secret_to_outside binary to work

  morbitzer

  committed
  3270b94

  Copy full SHA for 3270b94

Commits on Jan 17, 2025

• nits on parameter handling

  morbitzer

  committed
  13c5aac

  Copy full SHA for 13c5aac

Commits on Jan 18, 2025

• draw currentderefvalue-edge

  morbitzer

  committed
  8399764

  Copy full SHA for 8399764

Commits on Jan 20, 2025

• include pointer-to-pointer in function summary

  morbitzer

  committed
  3d59cda

  Copy full SHA for 3d59cda

• nits in fs creation

  morbitzer

  committed
  c05cd7d

  Copy full SHA for c05cd7d

• improved collection of indexes to search for FS creation

  morbitzer

  committed
  d9fc5d5

  Copy full SHA for d9fc5d5

• Reduced finalState to only contain state of end edges

  morbitzer

  committed
  807d07b

  Copy full SHA for 807d07b

• make memoryAddress nullable

  morbitzer

  committed
  d85b39b

  Copy full SHA for d85b39b

• push memoryAddress nodes to neo4j

  morbitzer

  committed
  22c8882

  Copy full SHA for 22c8882

Commits on Jan 21, 2025

• make intellij stop complain about nullable memoryAddress

  morbitzer

  committed
  486b0b2

  Copy full SHA for 486b0b2

• prevent DFGPass from handling nodes the PointsToPass will handle

  morbitzer

  committed
  2a8fa84

  Copy full SHA for 2a8fa84

• add derefderefvalue-dfg-edges to references

  morbitzer

  committed
  3c9c75a

  Copy full SHA for 3c9c75a

Commits on Jan 22, 2025

• improved pointer dereferencing

  morbitzer

  committed
  9e0861e

  Copy full SHA for 9e0861e

Commits on Jan 24, 2025

• fixed most tests

  morbitzer

  committed
  167a27d

  Copy full SHA for 167a27d

Commits on Jan 27, 2025

• cleaner pointer depth handling

  morbitzer

  committed
  75d0b4b

  Copy full SHA for 75d0b4b

• improved on testPointerToPointerFunctionSummaries

  morbitzer

  committed
  dc11416

  Copy full SHA for dc11416

• got FUN94 to work

  morbitzer

  committed
  4b0698f

  Copy full SHA for 4b0698f

• nits

  morbitzer

  committed
  bbe3b82

  Copy full SHA for bbe3b82

• cleaned up

  morbitzer

  committed
  b304098

  Copy full SHA for b304098

• add addressLength config option to PointsToPass

  morbitzer

  committed
  fe4db7b

  Copy full SHA for fe4db7b

• be more precise when creating fieldAddresses

  morbitzer

  committed
  83a6630

  Copy full SHA for 83a6630

Commits on Jan 28, 2025

• Small cleanup

  KuechA

  committed
  0265db8

  Copy full SHA for 0265db8

• Results of debugging session

  KuechA

  committed
  58485dc

  Copy full SHA for 58485dc

Commits on Jan 30, 2025

• More fetch and cast magic

  KuechA

  committed
  1059dfe

  Copy full SHA for 1059dfe

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

  KuechA

  authored
  4b0afd4

  Copy full SHA for 4b0afd4

• formatting

  KuechA

  committed
  481c99f

  Copy full SHA for 481c99f

• compiles again

  KuechA

  committed
  6445b2c

  Copy full SHA for 6445b2c

• remove lateinit

  maximiliankaul

  committed
  8514de0

  Copy full SHA for 8514de0

Commits on Feb 2, 2025

• also consider fields in the source of handleCallExpression

  morbitzer

  committed
  30f2365

  Copy full SHA for 30f2365

• fixed pointstopass tests

  morbitzer

  committed
  8843555

  Copy full SHA for 8843555

Commits on Feb 3, 2025

• added secret SGX values to hardcoded FS

  morbitzer

  committed
  4d469dc

  Copy full SHA for 4d469dc

Commits on Feb 4, 2025

• first attempt on dealing with global variables

  morbitzer

  committed
  411b15f

  Copy full SHA for 411b15f

Commits on Feb 5, 2025

• extended pointstoPassTest for global variables

  morbitzer

  committed
  3e30f22

  Copy full SHA for 3e30f22

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

  KuechA

  authored
  22df598

  Copy full SHA for 22df598

• Try to transfer PointsToPass to new eog iteration

  KuechA

  committed
  86ef77a

  Copy full SHA for 86ef77a

Commits on Feb 6, 2025

• Fix bugs which occurred when using the new lattice system

  KuechA

  committed
  3d4aac1

  Copy full SHA for 3d4aac1

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

  KuechA

  authored
  6f1d9be

  Copy full SHA for 6f1d9be

• Fix stupid bug from merge

  KuechA

  committed
  7f38f1a

  Copy full SHA for 7f38f1a