-
Notifications
You must be signed in to change notification settings - Fork 193
Closed as duplicate of#206
Description
This is a frontend issue, and since we are currently using Soot as the frontend, we are temporarily unable to address it.
At the moment, I have the following observations:
- Due to the nature of inner classes, javac has to use a hacky way to compile modifiers of inner classes, which is the root cause of the problem.
- We can restore the "source code" modifiers , as the JVM's reflection API can also retrieve the "source code" modifiers.
- As an analyzer, Tai-e needs to decide whether to align with the source code or directly use the
flagsfield from the classfile. This requires further discussion.We will soon release a new bytecode frontend, and this issue should be properly resolved in the new frontend.
Originally posted by @ayanamists in #142
Metadata
Metadata
Assignees
Labels
No labels