where is android tutorial?

[leslieducy]

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???

[JordanSamhi]

Hello,

Maybe late but still:

• http://siis.cse.psu.edu/coal/language.html
• http://siis.cse.psu.edu/coal/tutorial.html

It is currently down but you can use the way back machine to find archives : https://archive.org/web/