lyxell / logifix

Fixing static analysis violations in Java source code using Datalog
BSD 2-Clause "Simplified" License
17 stars 0 forks source link

Master thesis of logifix #168

Closed algomaster99 closed 1 month ago

algomaster99 commented 1 month ago

Hi Anton,

I referred to your project because I wanted to learn how to convert JVM bytecode to Datalog facts. I know you do it for Java source code to Datalog facts which could be a useful reference for me. Just reading the code is a bit hard for me to understand as I am not fluent in CPP. Maybe I could read your master thesis that would give me an abstracted version. Could you please share the link? I could not find it on Diva portal.

algomaster99 commented 1 month ago

My another question was how have you made datalog facts exhaustive? For example, how do you ensure that every AST element of Java source code is represented as a fact?

algomaster99 commented 1 month ago

And where do you parse back from datalog facts to the fixed source code?

lyxell commented 1 month ago

@algomaster99 Hey Aman, nice to see you! I'll get back to you on Monday!

algomaster99 commented 1 month ago

Thanks for follow up! I have done a through study of your codebase and I am looking forward to your responses. My email is on my GitHub profile if you want to reach out there.

lyxell commented 1 month ago

@algomaster99 You've got mail!