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:
Fengguo Wei fgwei
fgwei
/ keybase.md
Created
October 23, 2016 22:06
fgwei
/ GetReachableMethods.scala
Last active
August 29, 2015 14:09
Get reachable methods from giving method
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |