Skip to content

TACtoBC Module #256

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 102 commits into
base: develop
Choose a base branch
from
Open

TACtoBC Module #256

wants to merge 102 commits into from

Conversation

lucahuen
Copy link

Added TACtoBC Module, allowing a conversion from Three-Address-Code to Bytecode:

  • Added TACtoBC Object: translates a Method Object with its corresponding AITACode into Bytecode Instructions by:
  • Assigning LVIndices to local variables inside the LVIndicesPreparation
  • Going through each Stmt and calling the StmtProcessor / ExprProcessor methods inside the StmtToInstructionTranslator

Note: TAC containing the CaughtException Statement can not be translated yet, meaning exceptions are not handled correctly at this time. However the testsuite already contains various tests regarding exceptions.

sofiarandas added 30 commits July 28, 2024 16:21
@sofiarandas
working module tactobc
8928720
@sofiarandas
preparing testing with more java programs
68be1b4
@sofiarandas
handling more expr types (WIP)
e018d49
@sofiarandas
Separated the first pass in own class
3326828
@sofiarandas
Separated the second pass in own class
59695c9
@sofiarandas
Separated the third pass in own class
91a75f2
@sofiarandas
refactored documentation
daebb60
@sofiarandas
refactored documentation
b1e2f97
@sofiarandas
Loading more example programs
b462576
@sofiarandas
translation process work, generation of class files not yet (WIP)
4245573
@sofiarandas
generation of class files (WIP)
b5d4299 
added parameters for: path to dir where the .class files are and for the path to dir where the new .class files are going to be located
@sofiarandas
probably fixed PutStatic
48e27cc
@sofiarandas
probably fixed PutField
803eeb8
@sofiarandas
probably fixed Monitor Enter and MonitorExit
b682731
@sofiarandas
probably fixed NonVirtualMethodCall
44a2d79
@sofiarandas
probably fixed ReturnValue
ac2c4bc
@sofiarandas
generating .class files again works! :)
7e93e15
@sofiarandas
added StaticMethodCall for collecting DUVars
cc16c44
@sofiarandas
idea for matching between ArrayTypes that works for primitive types
7e2ee64
@sofiarandas
probably handling ArrayLoad correctly for all types
b1f03c9
@sofiarandas
probably handling ArrayLoad correctly when it is in a UVar
c7807cc
@sofiarandas
rollback of handling UVars that are arrays
0dfdc4b 
They just have to be treated as reference types
@sofiarandas
handled cases when there is some read to ´this´
86d3c2f
@sofiarandas
separated handling methods for field exprs
192086d
@sofiarandas
refactored mapping parameters to handle instance and static methods c…
fee0fcc 
…orrectly
@sofiarandas
extended to hanlde InvokedynamicFunctionCall
fac1bd9
@sofiarandas
getting rid of helper methods to concat strings
ea4ab95
@sofiarandas
refactored ArrayStore
eb66912
@sofiarandas
refactored NewArray for MULTIANEWARRAY
e88985d
@sofiarandas
refactored ArrayLoad
c01e762
sofiarandas and others added 30 commits August 14, 2024 18:12
@sofiarandas
added processing of Negation
f20cafe
@sofiarandas
added testcase for Negation
1ba7f1c
@sofiarandas
added handling for InstanceOf
474069f
@sofiarandas
added testcases for InstanceOf
8064da9
@sofiarandas
fixed handling of InvokeInterface
7bf3b5d
@sofiarandas
added testcase for InvokeInterface
5a7a12c
@sofiarandas
cleanup
7cd26ae
@sofiarandas
fixed InvokeDynamic handling
09a8551
@sofiarandas
added testcase for InvokeDynamic
94c329b
@sofiarandas
cleanup
95b2023 
negate was fixed allready
@sofiarandas
fixed Switch targets
9b2b992 
To be relative to the current pc
@sofiarandas
added Switch testcase
e2ac1dd
@sofiarandas
added Switch testcase
7c22bd1
@sofiarandas
Merge remote-tracking branch 'origin/developing_in_own_module' into d…
6654c68 
…eveloping_in_own_module

# Conflicts:
#	OPAL/tactobc/src/test/resources/javaFiles/Switch.java
@sofiarandas
added Reassignment testcases
1111389
@sofiarandas
added IfZero testcases
facf395
@sofiarandas
added BigNumbers testcases
81bc558
@sofiarandas
added more BigNumbers testcases
6dbba64
@sofiarandas
added ObjectPropertyAccess testcases
5a97d29
@sofiarandas
added mutable java files testcases (WIP)
bf1fcd8
@sofiarandas
added mutable java files testcases and fixed some input java files
673b329
@sofiarandas
added documentation
a5a8162
@lucahuen
changed the implementation of translating Stmts to Instructions -> no…
65cb10a 
…w using Labels instead of Program Counter
@lucahuen
inner classes are found and loaded in loadClassesFromFile
de54b31
@lucahuen
made myclass in Constants_mutation_5.java public static and inside of…
c535af6 
… class Constants_mutation_5
@lucahuen
added array element in Jsr_mutation_1.java to avoid IndexOutOfBoundsE…
73fffdd 
…xception
@lucahuen
- fixed tac2bc not storing var after CHECKCAST
7fb4bfc 
- tests now read all java files in folder so testcases can be added more dynamically
@lucahuen
- cleaned up code
a942a9d
@lucahuen
- cleaned up more code
de4d482 
- changed documentation to match implementation
@lucahuen
changed CaughtException.java
204f548 
added ThrowException.java
minor changes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
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
@lucahuen @sofiarandas