Type Inference for the bytecode frontend

soot-oss / SootUp

A new version of Soot with a completely overhauled architecture

https://soot-oss.github.io/SootUp/

GNU Lesser General Public License v2.1

586 stars 77 forks source link

Type Inference for the bytecode frontend #165

Closed linghuiluo closed 1 year ago

linghuiluo commented 5 years ago

[x] Create an API to intercept and transform method bodies (#189)
[ ] Implement interceptor stages according to [BELLAMY, Ben, et al. Efficient local type inference. In: ACM Sigplan Notices. ACM, 2008. S. 475-492.] https://pdfs.semanticscholar.org/9c88/b316d2e96256f2cb73177a3d045a67d77f25.pdf in the bytecode frontend module

cbruegg commented 5 years ago

Investigation of the paper implementation within old Soot revealed that porting the old code would be a complex task. The connection between code and paper is not always clear and the code contains many variables with one-letter identifiers, which makes understanding the code difficult.

Therefore the most efficient way to implement this would likely be implementing the paper from scratch.

cbruegg commented 4 years ago

I've built a scaffold for the type inference algorithm and implemented parts of it. The branch also contains documentation for what still needs to be done: https://github.com/secure-software-engineering/soot-reloaded/compare/feature/type-hierarchy

kadirayk commented 1 year ago

addressed in https://github.com/soot-oss/SootUp/pull/465