SootUp
SootUp copied to clipboard
soot-oss
A new version of Soot with a completely overhauled architecture
### Discussed in https://github.com/soot-oss/SootUp/discussions/718 Originally posted by **Liyw979** October 25, 2023 ``` interface XXXDao { int sqlQuery(@Param("a") Long a, @Param("b") String b, @Param("c") Long c); } ``` We have modeled...
Test.class ``` class Test { Test() { } public static void main(String[] args) { int[] var10000 = new int[]{49825, 49826, 49827, 49829, 49830, 49831, 49832, 49833, 49834, 49835, 49836, 49837,...
- [ ] check for uniqueness of returned classes.. somehow there is a duplicate? (It seems its java.base/java.lang.String) - maybe a problem with that caching issue with a sequence of...
will add more description later 
bugs & problems that occured: - [x] int[] was JavaClassType rather than an ArrayType in the context of casts from AsmMethodSource - [x] new HashMap() had multiple options for output...
- [ ] [make moduleidentifierfactory a real factory and not just a subclass with different usage](https://refactoring.guru/design-patterns/factory-method) -> change interface to allow passing modulesignatures all the time -> ignore them in...
1. Adapt InvokeArgumentValidator and add test cases. The original version primarily focuses on verifying the number of arguments. 2. Implement argument type checking by including `rt.jar` in the analysis input...
Problems: - [x] different scopes different Local index can have same names -> collision (fixed by #876) - [ ] same Local idx Variables get the same Local name in...