Skip to content

Qilin PTA#786

Merged
DongjieHe merged 97 commits intodevelopfrom
qilin
Jun 7, 2024
Merged

Qilin PTA#786
DongjieHe merged 97 commits intodevelopfrom
qilin

Conversation

@swissiety
Copy link
Copy Markdown
Collaborator

@swissiety swissiety commented Dec 22, 2023 •
edited
Loading

bugs & problems that occured:

  • int[] was JavaClassType rather than an ArrayType in the context of casts from AsmMethodSource
  • new HashMap<>() had multiple options for output locals in OperandMerging - which were referring to the same Local
  • <java.lang.AbstractStringBuilder: java.lang.AbstractStringBuilder append(java.lang.String)> breaks the LocalSplitter

@QilinPTA
add sootup.qilin
d444d5c
@QilinPTA
update sootup.qilin
a971159
@QilinPTA
update sootup.qilin
676a7dd
@QilinPTA
update
c304e2b
@QilinPTA
update sootup.qilin
b896917
@QilinPTA
update
3edcd44
@QilinPTA
qilin:16f2bcd
97b3756
@QilinPTA
add soot.util classes, change imports
3dae5a1
@QilinPTA
add dots and callgraph classes
ee9ee96
@QilinPTA
replace RefType with ClassType; replace PrimType with PrimitiveType;
8f93ee4
@QilinPTA
replace Unit with Stmt
44f851c
@QilinPTA
replace RefLikeType with ReferenceType
366fd3a
@QilinPTA
replace ArrayType.v() with new ArrayType()
c56b905
@QilinPTA
replace exprs with their counterpart in sootup
cd263f8
@QilinPTA
replace isPhantom with not isConcrete
eaa966f
@QilinPTA
replace stmts with their counterparts in sootup
3daad2f
@QilinPTA
replace refs to their counterparts in sootup
d59ca77
@QilinPTA
updat
e2b6f4b
@QilinPTA
update
2c9086e
@QilinPTA
update
c2220c3
@QilinPTA
update
37b8b86
@QilinPTA
update
2ba64f4
@QilinPTA
update
1f9fbc2
@QilinPTA
update
98f2a25
@QilinPTA
update
4025b5c
@QilinPTA
update
5abd261
@QilinPTA
update
90856a9
@QilinPTA
update
e7cb02e
@QilinPTA
update
0a8ff93
@QilinPTA
update
07a7c47
QilinPTA added 26 commits June 5, 2024 11:10
@QilinPTA
remove unused code
22343d7
@QilinPTA
simplify code
9964f5d
@QilinPTA
update
ca28761
@QilinPTA
refactor code
6a3ab45
@QilinPTA
refactor code and fix a bug in Zipper
6335be2
@QilinPTA
refactor code: move isApplicationMethod from PTAUtil to PTAScene
bf1385d
@QilinPTA
refactor code: move castNeverFails from PTAUtils to PTAScene
a859fd3
@QilinPTA
refactor code: move dispatch from PTAUtils to CallgraphBuilder
4a54a54
@QilinPTA
refactor code
d7e6fae
@QilinPTA
refactor code: PTASceven.v() => new PTAScene()
233006d
@QilinPTA
finish refactoring; The usage of QilinPTA is now consistent with that…
37d302d 
… in the paper.
@QilinPTA
fix a bug in Eagle
5161746
@QilinPTA
refactor code
fe844b9
@QilinPTA
fix another bug in Eagle
706289c
@QilinPTA
remove unused comments
d75a03d
@QilinPTA
fix a bug in Turner
7469665
@QilinPTA
simplify code
8bc5b07
@QilinPTA
refactor code
c9ce087
@QilinPTA
fix a bug in OnFlyCallGraph
433da65
@QilinPTA
fix a bug: SootField => FieldSignature for globals in PAG
6a41562
@QilinPTA
fix another bug: specify application classes and library classes
d1d3b8a
@QilinPTA
fix a bug in MahjongPTA
47949dc
@QilinPTA
remove unused code
7deb72b
@QilinPTA
fix a bug in selectx
5941026
@QilinPTA
fix a bug that causes zipper to lose precision
4b9b0ab
@QilinPTA
Merge branch 'develop' into qilin
05379f7
@DongjieHe DongjieHe marked this pull request as ready for review June 7, 2024 10:53
@DongjieHe DongjieHe merged commit b09fe2e into develop Jun 7, 2024
@DongjieHe DongjieHe deleted the qilin branch June 7, 2024 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@DongjieHe DongjieHe DongjieHe approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@swissiety @DongjieHe @QilinPTA @kadirayk