I hereby claim:
- I am fgwei on github.
- I am fgwei (https://keybase.io/fgwei) on keybase.
- I have a public key whose fingerprint is 6459 F71B 2A23 7CBE 3344 6B9D 0017 ED5C 6918 5770
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
import org.sireum.util._ | |
import org.sireum.jawa.MessageCenter._ | |
import org.sireum.amandroid.alir.reachingFactsAnalysis.AndroidReachingFactsAnalysisConfig | |
import org.sireum.jawa.util.Timer | |
import org.sireum.amandroid.security.apiMisuse.InterestingApiCollector | |
import org.sireum.jawa.MessageCenter._ | |
import org.sireum.amandroid.util.AndroidLibraryAPISummary | |
import org.sireum.amandroid.AppCenter | |
import org.sireum.jawa.alir.reachability.ReachabilityAnalysis | |
import org.sireum.jawa.JawaCodeSource |