├── .gitignore ├── README.md ├── fshorndroid.iml ├── lib ├── apktool.jar ├── com.microsoft.z3.jar └── horndroid │ └── external │ ├── apktool │ └── apktool-horndroid-external │ │ ├── 1 │ │ ├── apktool-horndroid-external-1.jar │ │ └── apktool-horndroid-external-1.pom │ │ └── maven-metadata-local.xml │ └── z3 │ └── z3-horndroid-external │ ├── 1 │ ├── z3-horndroid-external-1.jar │ └── z3-horndroid-external-1.pom │ └── maven-metadata-local.xml ├── logo.png ├── pom.xml └── src └── main ├── java └── com │ └── horndroid │ ├── Dalvik │ ├── DalvikClass.java │ ├── DalvikField.java │ ├── DalvikImplementation.java │ ├── DalvikInstance.java │ ├── DalvikMethod.java │ ├── DalvikStaticField.java │ ├── GeneralClass.java │ ├── Implementation.java │ ├── Instances.java │ ├── Interfaces.java │ └── StubImplementation.java │ ├── Main.java │ ├── Options.java │ ├── analysis │ ├── Analysis.java │ ├── DataExtraction.java │ ├── Dispatch.java │ ├── DispatchResult.java │ ├── FSInstructionAnalysis.java │ └── Stubs.java │ ├── constants │ └── TimeConstants.java │ ├── debugging │ ├── Debug.java │ ├── LHInfo.java │ ├── LHKey.java │ ├── MethodeInfo.java │ ├── QUERY_TYPE.java │ └── RegInfo.java │ ├── exceptions │ └── ReportWritingException.java │ ├── executors │ └── HorndroidExecutor.java │ ├── gen │ ├── Clause.java │ └── Gen.java │ ├── model │ ├── Report.java │ └── ReportEntry.java │ ├── payload │ ├── ArrayData.java │ ├── PackedSwitch.java │ └── SparseSwitch.java │ ├── printers │ ├── DefaultReportPrinter.java │ ├── JsonReportPrinter.java │ ├── ReportPrinter.java │ └── ReportWriterFactory.java │ ├── strings │ └── ConstString.java │ ├── util │ ├── CMPair.java │ ├── FormatEncodedValue.java │ ├── LazyUnion.java │ ├── SimpleErrorHandler.java │ ├── SourceSinkParser.java │ ├── SourcesSinks.java │ ├── StringPair.java │ └── Utils.java │ └── z3 │ ├── FSEngine.java │ ├── FSFunction.java │ ├── FSSingleRegUpdate.java │ ├── FSVariable.java │ ├── LHUpdate.java │ ├── Type.java │ ├── VariableInject.java │ ├── Z3Clauses.java │ ├── Z3Query.java │ └── Z3Test.java └── resources ├── apktool.jar ├── bin ├── Callbacks.txt ├── EntryPoints.txt └── SourcesAndSinks.txt ├── classes.dex ├── classes2.dex ├── libz3.dll ├── libz3.dylib ├── libz3.so ├── libz3java.dylib ├── libz3java.so ├── log4j2.xml ├── wrapper.tex └── z3java.dll /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/README.md -------------------------------------------------------------------------------- /fshorndroid.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/fshorndroid.iml -------------------------------------------------------------------------------- /lib/apktool.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/lib/apktool.jar -------------------------------------------------------------------------------- /lib/com.microsoft.z3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/lib/com.microsoft.z3.jar -------------------------------------------------------------------------------- /lib/horndroid/external/apktool/apktool-horndroid-external/1/apktool-horndroid-external-1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/lib/horndroid/external/apktool/apktool-horndroid-external/1/apktool-horndroid-external-1.jar -------------------------------------------------------------------------------- /lib/horndroid/external/apktool/apktool-horndroid-external/1/apktool-horndroid-external-1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/lib/horndroid/external/apktool/apktool-horndroid-external/1/apktool-horndroid-external-1.pom -------------------------------------------------------------------------------- /lib/horndroid/external/apktool/apktool-horndroid-external/maven-metadata-local.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/lib/horndroid/external/apktool/apktool-horndroid-external/maven-metadata-local.xml -------------------------------------------------------------------------------- /lib/horndroid/external/z3/z3-horndroid-external/1/z3-horndroid-external-1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/lib/horndroid/external/z3/z3-horndroid-external/1/z3-horndroid-external-1.jar -------------------------------------------------------------------------------- /lib/horndroid/external/z3/z3-horndroid-external/1/z3-horndroid-external-1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/lib/horndroid/external/z3/z3-horndroid-external/1/z3-horndroid-external-1.pom -------------------------------------------------------------------------------- /lib/horndroid/external/z3/z3-horndroid-external/maven-metadata-local.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/lib/horndroid/external/z3/z3-horndroid-external/maven-metadata-local.xml -------------------------------------------------------------------------------- /logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/logo.png -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/pom.xml -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/DalvikClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/DalvikClass.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/DalvikField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/DalvikField.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/DalvikImplementation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/DalvikImplementation.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/DalvikInstance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/DalvikInstance.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/DalvikMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/DalvikMethod.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/DalvikStaticField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/DalvikStaticField.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/GeneralClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/GeneralClass.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/Implementation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/Implementation.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/Instances.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/Instances.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/Interfaces.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/Interfaces.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Dalvik/StubImplementation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Dalvik/StubImplementation.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Main.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/Options.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/Options.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/analysis/Analysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/analysis/Analysis.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/analysis/DataExtraction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/analysis/DataExtraction.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/analysis/Dispatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/analysis/Dispatch.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/analysis/DispatchResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/analysis/DispatchResult.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/analysis/FSInstructionAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/analysis/FSInstructionAnalysis.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/analysis/Stubs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/analysis/Stubs.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/constants/TimeConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/constants/TimeConstants.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/debugging/Debug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/debugging/Debug.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/debugging/LHInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/debugging/LHInfo.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/debugging/LHKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/debugging/LHKey.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/debugging/MethodeInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/debugging/MethodeInfo.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/debugging/QUERY_TYPE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/debugging/QUERY_TYPE.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/debugging/RegInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/debugging/RegInfo.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/exceptions/ReportWritingException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/exceptions/ReportWritingException.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/executors/HorndroidExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/executors/HorndroidExecutor.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/gen/Clause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/gen/Clause.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/gen/Gen.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/gen/Gen.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/model/Report.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/model/Report.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/model/ReportEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/model/ReportEntry.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/payload/ArrayData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/payload/ArrayData.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/payload/PackedSwitch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/payload/PackedSwitch.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/payload/SparseSwitch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/payload/SparseSwitch.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/printers/DefaultReportPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/printers/DefaultReportPrinter.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/printers/JsonReportPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/printers/JsonReportPrinter.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/printers/ReportPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/printers/ReportPrinter.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/printers/ReportWriterFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/printers/ReportWriterFactory.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/strings/ConstString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/strings/ConstString.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/util/CMPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/util/CMPair.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/util/FormatEncodedValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/util/FormatEncodedValue.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/util/LazyUnion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/util/LazyUnion.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/util/SimpleErrorHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/util/SimpleErrorHandler.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/util/SourceSinkParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/util/SourceSinkParser.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/util/SourcesSinks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/util/SourcesSinks.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/util/StringPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/util/StringPair.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/util/Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/util/Utils.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/FSEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/FSEngine.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/FSFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/FSFunction.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/FSSingleRegUpdate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/FSSingleRegUpdate.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/FSVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/FSVariable.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/LHUpdate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/LHUpdate.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/Type.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/VariableInject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/VariableInject.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/Z3Clauses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/Z3Clauses.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/Z3Query.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/Z3Query.java -------------------------------------------------------------------------------- /src/main/java/com/horndroid/z3/Z3Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/java/com/horndroid/z3/Z3Test.java -------------------------------------------------------------------------------- /src/main/resources/apktool.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/apktool.jar -------------------------------------------------------------------------------- /src/main/resources/bin/Callbacks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/bin/Callbacks.txt -------------------------------------------------------------------------------- /src/main/resources/bin/EntryPoints.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/bin/EntryPoints.txt -------------------------------------------------------------------------------- /src/main/resources/bin/SourcesAndSinks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/bin/SourcesAndSinks.txt -------------------------------------------------------------------------------- /src/main/resources/classes.dex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/classes.dex -------------------------------------------------------------------------------- /src/main/resources/classes2.dex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/classes2.dex -------------------------------------------------------------------------------- /src/main/resources/libz3.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/libz3.dll -------------------------------------------------------------------------------- /src/main/resources/libz3.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/libz3.dylib -------------------------------------------------------------------------------- /src/main/resources/libz3.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/libz3.so -------------------------------------------------------------------------------- /src/main/resources/libz3java.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/libz3java.dylib -------------------------------------------------------------------------------- /src/main/resources/libz3java.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/libz3java.so -------------------------------------------------------------------------------- /src/main/resources/log4j2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/log4j2.xml -------------------------------------------------------------------------------- /src/main/resources/wrapper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/wrapper.tex -------------------------------------------------------------------------------- /src/main/resources/z3java.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ylya/horndroid/HEAD/src/main/resources/z3java.dll --------------------------------------------------------------------------------