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
  ☆50Updated 3 years ago
• SQUARE-RG / ICCBot
  ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
  ☆38Updated last year
• setting-defect-fuzzing / home
  ☆37Updated last year
• season-lab / fuzzolic
  fuzzing + concolic = fuzzolic :)
  ☆120Updated last week
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• sslab-gatech / fuzzification
  We hinder fuzzing
  ☆67Updated 3 years ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• quarkslab / aosp_dataset
  Large Commit Precise Vulnerability Dataset based on AOSP CVE
  ☆64Updated last year
• SQUARE-RG / Fax
  Fair Android Explorer
  ☆20Updated 2 years ago
• s3team / Polyglot
  ☆105Updated last year
• evanmak / savior-source
  source code for savior fuzzer
  ☆127Updated 4 years ago
• IIE-LibD / libd
  LibD: Scalable and Precise Third-party Library Detection in Android Markets
  ☆68Updated 6 years ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆83Updated 2 years ago
• hao-fu / MyFlowAnalysis
  Flow analysis using Soot
  ☆51Updated 4 years ago
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆66Updated 4 months ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 8 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆101Updated 2 years ago
• RiS3-Lab / muse
  Source code of MEUZZ fuzzer
  ☆45Updated 3 years ago
• ucam-cl-dtg / LibID
  ☆29Updated last year
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 4 years ago
• TortoiseFuzz / TortoiseFuzz
  ☆90Updated 3 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆63Updated 3 years ago
• zhunki / skyfire
  ☆53Updated 6 years ago
• lvtao-sec / Advance
  RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection
  ☆16Updated 3 years ago
• JordanSamhi / JuCify
  ☆24Updated last year
• SocietyMaster / FlowCog
  Project FlowCog (2017)
  ☆27Updated 6 years ago
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆177Updated last year
• AngoraFuzzer / FuzzingRealProgramBenchStatistics
  List the real world programs evaluated in fuzzing papers.
  ☆56Updated 6 years ago
• squizz617 / vuddy
  VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
  ☆51Updated 3 months ago