Alternatives and similar repositories for TimeMachine:

Users that are interested in TimeMachine are comparing it to the libraries listed below

• VPRLab / BackDroid
  A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid
  ☆47Updated 3 years ago
• srasthofer / FuzzDroid
  ☆22Updated 7 years ago
• SocietyMaster / FlowCog
  Project FlowCog (2017)
  ☆27Updated 6 years ago
• SQUARE-RG / ICCBot
  ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
  ☆38Updated 11 months ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• OSUSecLab / SelectiveTaint
  ☆71Updated 3 years ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 4 years ago
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• TortoiseFuzz / TortoiseFuzz
  ☆88Updated 3 years ago
• IIE-LibD / libd
  LibD: Scalable and Precise Third-party Library Detection in Android Markets
  ☆68Updated 5 years ago
• SQUARE-RG / Fax
  Fair Android Explorer
  ☆20Updated last year
• RiS3-Lab / muse
  Source code of MEUZZ fuzzer
  ☆44Updated 3 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆118Updated 5 months ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated last year
• siis / ic3
  IC3: Inter-Component Communication Analysis in Android
  ☆36Updated 4 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 8 years ago
• sslab-gatech / fuzzification
  We hinder fuzzing
  ☆65Updated 3 years ago
• OSUSecLab / PaymentScope
  ☆10Updated 2 years ago
• JordanSamhi / JuCify
  ☆23Updated last year
• hao-fu / MyFlowAnalysis
  Flow analysis using Soot
  ☆51Updated 4 years ago
• lilicoding / soot-infoflow-android-iccta
  Inter-component communication Taint Analysis for Android
  ☆92Updated 8 years ago
• Tricker-z / TPLite
  ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
  ☆27Updated last year
• AngoraFuzzer / FuzzingRealProgramBenchStatistics
  List the real world programs evaluated in fuzzing papers.
  ☆53Updated 6 years ago
• setting-defect-fuzzing / home
  ☆36Updated last year
• s3team / Polyglot
  ☆104Updated 11 months ago
• lvtao-sec / Advance
  RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection
  ☆16Updated 3 years ago
• yasong / Awesome-Info-Inferring-Binary
  A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.
  ☆83Updated last week
• fiberx / fiber
  Source-binary patch presence test system.
  ☆82Updated 2 years ago
• quarkslab / aosp_dataset
  Large Commit Precise Vulnerability Dataset based on AOSP CVE
  ☆60Updated last year
• WSP-LAB / Montage
  Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer
  ☆85Updated 8 months ago