Skip to content

Nullptr dereference detector #1541

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
ethanLin520 wants to merge 23 commits into
base: master
Choose a base branch
from
Draft

Nullptr dereference detector #1541

Changes from 1 commit
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
6c0914d
initial implementation of NullPtrDerefDetector
ethanLin520 Aug 26, 2024
4dcf995
added cmd line option for nullptrdereference
ethanLin520 Aug 28, 2024
fcccab9
implemented correct bug reporting
ethanLin520 Aug 28, 2024
8b3b350
refactor bug recording
ethanLin520 Aug 28, 2024
a6cc771
improve error message
ethanLin520 Aug 29, 2024
6916726
refactor nullptr vaddr to 0x7f000000
ethanLin520 Sep 1, 2024
188ad3f
remove unused code
ethanLin520 Sep 1, 2024
1c5293e
improve comment
ethanLin520 Sep 1, 2024
5f8db38
Merge remote-tracking branch 'root/master' into nullderef
ethanLin520 Sep 2, 2024
1296dba
modified recordBug in NullPtrDerefDetector
ethanLin520 Sep 9, 2024
4ef473b
added stub function for UNSAFE_LOAD & SAFE_LOAD
ethanLin520 Sep 11, 2024
69cf9c3
added isUninit function
ethanLin520 Sep 11, 2024
59d0663
added canSafelyDerefPtr for the stub functions
ethanLin520 Sep 11, 2024
1174630
handle nullptr in printAbstractState
Oct 8, 2024
497d2d9
simplify option naming
Oct 10, 2024
5e9104e
Merge remote-tracking branch 'upstream/master' into nullderef
ethanLin520 Oct 11, 2024
aeeccec
refactor nullptr detector accordingly
ethanLin520 Oct 11, 2024
9db0b03
refactor nullptr detector
ethanLin520 Oct 11, 2024
4812c9b
simplfied detect
ethanLin520 Oct 14, 2024
dbd5194
refactor nullptr to use blackhole address instead of 0
ethanLin520 Oct 14, 2024
af7460b
simplified canSafelyDerefPtr
ethanLin520 Oct 14, 2024
6db9e72
Merge branch 'upstream/master' into nullderef
ethanLin520 Oct 19, 2024
47be4ab
refactored getGepObjAddrs: remove if statement for nullptr
ethanLin520 Oct 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
modified recordBug in NullPtrDerefDetector
  • Loading branch information
@ethanLin520
ethanLin520 committed Sep 9, 2024
commit 1296dbab6a3ae720193b55134b35a611d695bdf0
4 changes: 2 additions & 2 deletions svf/include/AE/Svfexe/AEDetector.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -379,8 +379,8 @@ class NullPtrDerefDetector: public AEDetector {
*/
void recordBug(const SVFStmt *stmt)
{
const SVFInstruction* inst = stmt->getInst();
SVFBugEvent sourceInstEvent(SVFBugEvent::EventType::SourceInst, inst);
const ICFGNode *eventInst = stmt->getICFGNode();
SVFBugEvent sourceInstEvent(SVFBugEvent::EventType::SourceInst, eventInst);

std::string loc = sourceInstEvent.getEventLoc(); // Get the location of the last event in the stack

Expand Down