Skip to content

Misc Changes #773

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

Jump to bottom
Open
wants to merge 88 commits into
base: development
Choose a base branch
from
Open

Misc Changes #773

wants to merge 88 commits into from
+305 −175

Conversation

fabianbs96
Copy link
Member

Adds a collection of smaller changes, including:

  • Fix AllBottom::compose. For more information, see this related issue in Heros (AllBottom.composeWith is broken soot-oss/heros#37)
  • Add API to LLVMVFTableProvider to retrieve the llvm::GlobalVariable for vtables
  • Handle atexit in addition to __cxa_atexit in the GlobalCtorsDtorsModel
  • Fix out-of-bounds access in getVarTypeFromIR
  • more

mxHuber and others added 30 commits May 15, 2024 20:25
@mxHuber
replaced llvm-14 with llvm-15 in relevant files
d2c7bcb
@fabianbs96
some changes
8056664
@fabianbs96
more efficient call-graph
54a56bc
@fabianbs96
String-nbased vtable getter + CG-test with dbg info
4fd9d39
@fabianbs96
minor in CG
70734dc
@mxHuber
annotation fix + test fix
ab3fa86
@mxHuber
removed bitcasts and fixed tests
f703041
@fabianbs96
Fix Annotation.cpp + TaintConfigTest
b78d077
@fabianbs96
Quick-fix LLVMTypeHierarchyTest
09e34aa
@fabianbs96
fix one IIA test
147ecd1
@fabianbs96
Fix StringtestCpp for generalized LCA
fda53ef
@mxHuber
first half of tests fixed
9b449d1
@mxHuber
fixed first half of tests
6b12b7b
@mxHuber
fixed all but one test in IDEInstInteractionAnalysisTest
bbe775a
@mxHuber
fixed all but two tests
c235afc
@fabianbs96
Fix IIAFlowFact equality
311cb68
@fabianbs96
Merge branch 'development' into 'f-TestingAPIChanges'
8c044ea
@fabianbs96
Re-add getVFTableGlobal
4c043d9
@mxHuber
fixed some newly failed tests
04a895d
@fabianbs96
trade soundness for precision in LLVMAliasSet
e31c5ae
@mxHuber
Merge remote-tracking branch 'upstream/development' into f-clang-15
b6f4a10
@mxHuber
ci.yml update
e8c7f65
@mxHuber
Revert "fixed some newly failed tests"
c3081ed
@mxHuber
pre-commit hook
6ced614
@mxHuber
Two Tests + xtaint09 test fix for pipeline
12a9d06
@mxHuber
Basic Opaque Pointer Impl, bugged
9f5902a
@mxHuber
switching to DebugInfoFinder
812e6cb
@fabianbs96
re-add the quick-fix for LLVMTypeHierarchy
8f89d1d
@mxHuber
OpaquePtr type mapping, missing subroutines
2bfffa8
@mxHuber
Introducing a pass to save ptr types
2a91b6d
fabianbs96 and others added 20 commits October 22, 2024 09:17
@fabianbs96
minor
4a75fee
@fabianbs96
expose getNonPureVirtualVFTEntry as namespace-scope function + fix bu…
58138d2 
…ild with LLVM 14
@fabianbs96
Fix RTA resolver
69600fd
@fabianbs96
Add missing include
e65d4f1
@fabianbs96
Fix solveIFDSProblem + cherry-pick fix of DIBasedTypeHierarchy::build…
61a76e2 
…TypeGraph
@fabianbs96
Merge branch 'development' into f-TestingAPIChanges
4819ee4
@fabianbs96
dump functions from debugger
0841e38
@fabianbs96
Remove unused-variable warning in release mode for CallGraph.h
55b6dd2
@fabianbs96
Merge branch 'development' into f-TestingAPIChanges
d5529d2
@fabianbs96
Merge branch 'development' into f-TestingAPIChanges
190e828
@fabianbs96
Merge branch 'development' into f-TestingAPIChanges
c4f5a54
@fabianbs96
minor fix in CHA and RTA resolvers
f26005f
@fabianbs96
Merge branch 'development' into f-TestingAPIChanges
e97185e
@fabianbs96
Some cleanup
6c89c99
@fabianbs96
Add ome additional robustness to LLVMIRToSrc
96b710f
@fabianbs96
Fix AllBottom::compose + make FilteredLLVMAliasSet a bit more robust
4949284
@fabianbs96
Make getAllExitPoints more flexible + minor
4bbe19f
@fabianbs96
Handle atexit() in GlobalCtorsDtorsModel (not only __cxa_atexit())
c95cc63
@fabianbs96
Merge branch 'development' into f-TestingAPIChanges
eba7d15
@fabianbs96
minor fix in FilteredLLVMAliasSet::isInReachableAllocationSites
52c15ff
@fabianbs96 fabianbs96 requested a review from sritejakv May 25, 2025 17:37
@fabianbs96 fabianbs96 self-assigned this May 25, 2025
@fabianbs96 fabianbs96 requested a review from MMory as a code owner May 25, 2025 17:37
@fabianbs96 fabianbs96 removed the request for review from MMory May 25, 2025 17:42
@fabianbs96 fabianbs96 added bug Something isn't working enhancement New feature or request labels May 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sritejakv sritejakv Awaiting requested review from sritejakv

At least 1 approving review is required to merge this pull request.

Assignees

@fabianbs96 fabianbs96

Labels
bug Something isn't working enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@fabianbs96 @mxHuber @fabianbs