Skip to content
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

refactor: make tests framework agnostic #69

Draft
wants to merge 24 commits into
base: develop
Choose a base branch
from
Draft

refactor: make tests framework agnostic #69

wants to merge 24 commits into from

Conversation

swissiety
Copy link
Member

@swissiety swissiety commented Dec 17, 2024 •
edited
Loading

  • remove soot dependencies from main code
  • disabled/commented sparsification as it only worked on soot objects directly (not using domain objects)
  • restructure test cases to use framework agnostic domain objects
  • currently: fill domain objects with information provided by soot

future work on that matter is noted in #42

TODO:

  • before merge: lets run a code style over it so that is done finally

smeyer198 and others added 21 commits August 26, 2024 10:46
@smeyer198
Add scope for SootUp
728a00c
@smeyer198
Add methods to return parameter types of method
4a756f7
@smeyer198
Add logic for subclass checks
66bbff8
@swissiety
split scope + Soot implementation into seperate modules
d3a1ad2
@swissiety
created PDS module; moved location,empty,wildcard interfaces
ce025bc
@swissiety
progress
1f4da55
@swissiety
compiling: sparse(worked before w/soot) is not functional; tests wont…
941db6e 
… compile yet
@swissiety
delete html objects
5bca69d
@swissiety
make use of actual integration tests! state: compiles + executable; f…
5aec810 
…ixed dependencies; tests fail
@swissiety
refactoring to remove soot elements from everywhere done - mvn verify…
e5bb632 
… runs through
@swissiety
Merge branch 'develop' into feature/sootup-support-refactor
7ffa1ce 
# Conflicts:
#	README.md
#	boomerangPDS/pom.xml
#	idealPDS/pom.xml
@swissiety
add SootUpFrameworkFactory + style
9e3014a
@swissiety
state: boomerangpds tests are failing for sootup
0fc8074
@swissiety
progress:framework agnostic test refactoring
612e668
@swissiety
progress:framework agnostic test refactoring
021bb01
@swissiety
progress:framework agnostic test refactoring
4d1b453
@swissiety
soot:boomerang
6ec3dc3
@swissiety
sootUp:boomerang:progress on custom entrypoint
fdae53c
@swissiety
sootup:tests unsound (possibly because of cha <-> spark callgraphalgo)
2526e6a
@swissiety
sootup:tests no seeds found
cce538d
@swissiety
compiles completely; soot tests work
b0a5ba5
@swissiety swissiety changed the title sootup support refactor refactor: make tests framework agnostic Dec 17, 2024
@schlichtig schlichtig requested a review from smeyer198 December 17, 2024 12:58
@swissiety
Merge branch 'develop' into feature/sootup-support-refactor
a5c0057 
# Conflicts:
#	SparseBoomerangCorrectness/pom.xml
#	SynchronizedPDS/pom.xml
#	SynchronizedPDS/src/main/java/sync/pds/solver/OneWeightFunctions.java
#	SynchronizedPDS/src/main/java/sync/pds/solver/SyncPDSSolver.java
#	WPDS/pom.xml
#	WPDS/src/main/java/wpds/impl/WeightedPAutomaton.java
#	WPDS/src/main/java/wpds/impl/WeightedPushdownSystem.java
#	boomerangPDS/pom.xml
#	boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java
#	boomerangPDS/src/main/java/boomerang/WeightedForwardQuery.java
#	boomerangPDS/src/main/java/boomerang/callgraph/BoomerangResolver.java
#	boomerangPDS/src/main/java/boomerang/debugger/ConsoleDebugger.java
#	boomerangPDS/src/test/java/test/cases/fields/ReadPOITest.java
#	boomerangPDS/src/test/java/test/cases/fields/WritePOITest.java
#	boomerangScope-Soot/src/main/java/boomerang/framework/soot/jimple/JimpleDeclaredMethod.java
#	boomerangScope-Soot/src/main/java/boomerang/framework/soot/jimple/JimpleMethod.java
#	boomerangScope-Soot/src/main/java/boomerang/framework/soot/jimple/JimpleStaticFieldVal.java
#	boomerangScope-WALA/pom.xml
#	boomerangScope-WALA/src/main/java/boomerang/framework/wala/WALADeclaredMethod.java
#	boomerangScope-WALA/src/main/java/boomerang/framework/wala/WALAMethod.java
#	boomerangScope/pom.xml
#	idealPDS/pom.xml
#	idealPDS/src/main/java/typestate/TransitionFunction.java
#	idealPDS/src/main/java/typestate/impl/statemachines/OutputStreamStateMachine.java
#	idealPDS/src/test/java/typestate/test/helper/File.java
#	pom.xml
#	testCore/pom.xml
@swissiety
fix merge leftovers
3616d0e
@swissiety
Copy link
Member Author

  • investigate performance drop: previous builds took ~4 min vs. ~ 11 min

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@smeyer198 smeyer198 Awaiting requested review from smeyer198

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@swissiety @smeyer198