Code

Nullptr dereference detector#1541

Code

Draft

ethanLin520 wants to merge 23 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom bjjwwang:nullderefbjjwwang/SVF:nullderefCopy head branch name to clipboard

+228-4

Commits

Commits on Aug 26, 2024

• initial implementation of NullPtrDerefDetector

  ethanLin520

  committed
  6c0914d

Commits on Aug 28, 2024

• added cmd line option for nullptrdereference

  ethanLin520

  committed
  4dcf995

• implemented correct bug reporting

  ethanLin520

  committed
  fcccab9

• refactor bug recording

  ethanLin520

  committed
  8b3b350

Commits on Aug 29, 2024

• improve error message

  ethanLin520

  committed
  a6cc771

Commits on Sep 1, 2024

• refactor nullptr vaddr to 0x7f000000

  ethanLin520

  committed
  6916726

• remove unused code

  ethanLin520

  committed
  188ad3f

• improve comment

  ethanLin520

  committed
  1c5293e

Commits on Sep 2, 2024

• Merge remote-tracking branch 'root/master' into nullderef

  ethanLin520

  committed
  5f8db38

Commits on Sep 9, 2024

• modified recordBug in NullPtrDerefDetector

  ethanLin520

  committed
  1296dba

Commits on Sep 11, 2024

• added stub function for UNSAFE_LOAD & SAFE_LOAD

  ethanLin520

  committed
  4ef473b

• added isUninit function

  ethanLin520

  committed
  69cf9c3

• added canSafelyDerefPtr for the stub functions

  ethanLin520

  committed
  59d0663

Commits on Oct 8, 2024

• handle nullptr in printAbstractState

  

  Ethan Lin

  authored and

  Ethan Lin

  committed
  1174630

Commits on Oct 10, 2024

• simplify option naming

  

  Ethan Lin

  authored and

  Ethan Lin

  committed
  497d2d9

Commits on Oct 11, 2024

• Merge remote-tracking branch 'upstream/master' into nullderef

  ethanLin520

  committed
  5e9104e

• refactor nullptr detector accordingly

  ethanLin520

  committed
  aeeccec

• refactor nullptr detector

  ethanLin520

  committed
  9db0b03

Commits on Oct 14, 2024

• simplfied detect

  ethanLin520

  committed
  4812c9b

• refactor nullptr to use blackhole address instead of 0

  ethanLin520

  committed
  dbd5194

• simplified canSafelyDerefPtr

  ethanLin520

  committed
  af7460b

Commits on Oct 19, 2024

• Merge branch 'upstream/master' into nullderef

  ethanLin520

  committed
  6db9e72

Commits on Oct 27, 2024

• refactored getGepObjAddrs: remove if statement for nullptr

  ethanLin520

  committed
  47be4ab