Symbolic Execution support in Soot

soot-oss / soot

Soot - A Java optimization framework

GNU Lesser General Public License v2.1

2.87k stars 706 forks source link

Open xennygrimmato opened 7 years ago

xennygrimmato commented 7 years ago

I went through #54 and there doesn't seem to be an update on that as to whether it is already integrated into soot or not.

Can someone give information about the current status of support for symbolic execution in soot?

pavanupb commented 4 years ago

@xennygrimmato Is this still relevant?

xennygrimmato commented 4 years ago

@pavanupb Not relevant to me at the moment, could be relevant for others.