Code

Dangle reserve addr#3

Code

Open

ethanLin520 wants to merge 1 commit intonullderefbjjwwang/SVF:nulldereffrom dangle_reserve_addrbjjwwang/SVF:dangle_reserve_addrCopy head branch name to clipboard

+79-3

Commits

Commits on Nov 17, 2024

• Implemented dangling pointer detection using reserved addresses

  ethanLin520

  committed
  7b573ad

  Copy full SHA for 7b573ad