Code

first commit of ConstantVal/Obj#1602

Code

Open

bjjwwang wants to merge 30 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom jumormt:11.22jumormt/SVF-xiao:11.22Copy head branch name to clipboard

+1,054-176

Commits

Commits on Nov 22, 2024

• add funcvar

  jumormt

  committed
  73130a1

  Copy full SHA for 73130a1

Commits on Nov 25, 2024

• rename

  jumormt

  committed
  237c991

  Copy full SHA for 237c991

• refactor addobjvar

  jumormt

  committed
  5a6c48d

  Copy full SHA for 5a6c48d

Commits on Dec 3, 2024

• WIP first commit

  

  bjjwwang

  committed
  f91bdba

  Copy full SHA for f91bdba

Commits on Dec 5, 2024

• WIP first commit of ConstantVal/Obj

  

  bjjwwang

  committed
  d604967

  Copy full SHA for d604967

• Merge branch 'master' into 11.22

  bjjwwang

  authored
  8578408

  Copy full SHA for 8578408

• WIP fix new ValVar/ObjVar

  

  bjjwwang

  committed
  d3991c2

  Copy full SHA for d3991c2

Commits on Dec 7, 2024

• 3) fix errors in dyn_cast

  

  bjjwwang

  committed
  6653333

  Copy full SHA for 6653333

Commits on Dec 8, 2024

• refactor 1. create constant var/obj in SVFIRBuilder

  

  bjjwwang

  committed
  2a9c153

  Copy full SHA for 2a9c153

• refactor 1. create constant var/obj in SVFIRBuilder

  

  bjjwwang

  committed
  1ac65e0

  Copy full SHA for 1ac65e0

• refactor 1. create constant var/obj in SVFIRBuilder

  

  bjjwwang

  committed
  2ea14d0

  Copy full SHA for 2ea14d0

Commits on Dec 9, 2024

• add SVFValue back

  

  bjjwwang

  committed
  abe509f

  Copy full SHA for abe509f

• add SVFValue back

  

  bjjwwang

  committed
  ccc7923

  Copy full SHA for ccc7923

• refactor 1. move toString() to cpp 2. setAttribute

  

  bjjwwang

  committed
  e06cb62

  Copy full SHA for e06cb62

• fix WPA test case

  

  bjjwwang

  committed
  60f9386

  Copy full SHA for 60f9386

Commits on Dec 10, 2024

• refactor addConstantVal/ObjNode

  

  bjjwwang

  committed
  00ccb52

  Copy full SHA for 00ccb52

• refactor addConstantVal/ObjNode

  

  bjjwwang

  committed
  9dfc7fc

  Copy full SHA for 9dfc7fc

• fix AccessPath ConstantInt

  

  bjjwwang

  committed
  251156d

  Copy full SHA for 251156d

Commits on Dec 11, 2024

• fix AE + Const AccessPath

  

  bjjwwang

  committed
  a3365f2

  Copy full SHA for a3365f2

• fix saber

  

  bjjwwang

  committed
  22045d8

  Copy full SHA for 22045d8

• rename GlobalValueValVar

  

  bjjwwang

  committed
  efcf2de

  Copy full SHA for efcf2de

• fix CFL

  

  bjjwwang

  committed
  2373b83

  Copy full SHA for 2373b83

• fix nullptr

  

  bjjwwang

  committed
  f0331b5

  Copy full SHA for f0331b5

Commits on Dec 12, 2024

• refactor class hierarchy

  

  bjjwwang

  committed
  713318a

  Copy full SHA for 713318a

Commits on Dec 13, 2024

• refactor GlobalClass, and remove unused codes

  

  bjjwwang

  committed
  c4a2cc0

  Copy full SHA for c4a2cc0

• refactor GlobalClass, and remove unused codes

  

  bjjwwang

  committed
  879eca2

  Copy full SHA for 879eca2

• refactor GlobalClass, and remove unused codes

  

  bjjwwang

  committed
  3990a18

  Copy full SHA for 3990a18

• fix enum

  

  bjjwwang

  committed
  e2eb074

  Copy full SHA for e2eb074

• Refactor

  jumormt

  committed
  67995e3

  Copy full SHA for 67995e3

Commits on Dec 31, 2024

• fix some bugs in classof functions

  

  bjjwwang

  committed
  1e0c870

  Copy full SHA for 1e0c870