Open leslieducy opened 5 years ago
i try to use COAL solver to determine the possibles values of object variables of android application.But i always fault.Can someone help me???
Hello,
Maybe late but still:
It is currently down but you can use the way back machine to find archives : https://archive.org/web/
i try to use COAL solver to determine the possibles values of object variables of android application.But i always fault.Can someone help me???