Skip to content

Pull requests: SVF-tools/SVF

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Nullptr dereference detector
#1541 opened Sep 2, 2024 by ethanLin520 Draft
Clang formatter and a workflow for checking
#1530 opened Aug 24, 2024 by cubicYYY Loading…
1 task
1
#1511 opened Aug 13, 2024 by ApricityXX Loading…
fix range-loop-analysis
#1478 opened May 31, 2024 by bjjwwang Loading…
Further CMake Improvements
#1460 opened May 12, 2024 by Johanmyst Loading…
tiny improvement
#1093 opened May 16, 2023 by joeyjiaojg Loading…
Fix ff-eq
#950 opened Dec 6, 2022 by jeffjma Loading…
Add SVFG::fromValue
#906 opened Nov 15, 2022 by gerion0 Loading…
Bump LLVM from 13.0.0 to 15.0.0
#901 opened Nov 11, 2022 by xudon9 Loading…
WIP: GenericGraph: try to fix GraphTraits interface
#308 opened Aug 30, 2020 by gerion0 Loading…
build.sh: use ninja
#303 opened Aug 25, 2020 by gerion0 Loading…
build pag from the given pag json file
#174 opened Feb 8, 2020 by JasonZhongZexin Loading…
Fix the arguments to WriteBitcodeToFile function
#134 opened Jun 30, 2019 by 0xBUGSPRAY Loading…
Refactoring GepObjNode
#112 opened Nov 4, 2018 by yuleisui Loading…
make build.sh accept external LLVM_DIR
#103 opened Oct 25, 2018 by hongxuchen Loading…
Adding support for vector operands (Patch 2)
#74 opened Jul 6, 2018 by Machiry Loading…
Adding support for vector operands.
#73 opened Jul 6, 2018 by Machiry Loading…
Support for clang 7.0.0
#55 opened Jun 1, 2018 by RaunakShah Loading…
ProTip! Adding no:label will show everything without a label.