Alternatives and similar repositories for ic3:

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

• lilicoding / soot-infoflow-android-iccta
  Inter-component communication Taint Analysis for Android
  ☆92Updated 8 years ago
• IIE-LibD / libd
  LibD: Scalable and Precise Third-party Library Detection in Android Markets
  ☆68Updated 5 years ago
• secure-software-engineering / DroidBench
  A micro-benchmark suite to assess the stability of taint-analysis tools for Android
  ☆275Updated last year
• SQUARE-RG / ICCBot
  ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
  ☆38Updated last year
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆58Updated 6 years ago
• hao-fu / MyFlowAnalysis
  Flow analysis using Soot
  ☆51Updated 4 years ago
• fgwei / ICC-Bench
  Benchmark apps for static analyzing inter-component data leakage problem of Android apps.
  ☆18Updated 7 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• dialdroid-android / ic3-dialdroid
  ☆15Updated 3 years ago
• SocietyMaster / FlowCog
  Project FlowCog (2017)
  ☆27Updated 6 years ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• SQUARE-RG / Fax
  Fair Android Explorer
  ☆20Updated last year
• HelloKittyNII / soot-android-static-analysis
  使用Soot进行android应用静态分析
  ☆67Updated 6 years ago
• ucam-cl-dtg / LibID
  ☆29Updated last year
• serval-snt-uni-lu / DroidRA
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆50Updated 5 years ago
• secure-software-engineering / SuSi
  SuSi - our tool to automatically discover sources and sinks in the Android framework
  ☆146Updated 8 years ago
• DroidTest / TimeMachine
  Time-travel Testing
  ☆106Updated 2 years ago
• JordanSamhi / JuCify
  ☆23Updated last year
• serval-snt-uni-lu / RePack
  ☆44Updated 4 years ago
• MIT-PAC / droidsafe-src
  DroidSafe Android Static Analysis Source Repository
  ☆94Updated 7 years ago
• JulianSchuette / ConDroid
  Symbolic/concolic execution of Android apps
  ☆56Updated 8 years ago
• wsong-nj / EHBDroid
  EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the followi…
  ☆17Updated 5 years ago
• zd2100 / PScout
  ☆85Updated 8 years ago
• impillar / AndroidReferences
  Research papers and tools on Android
  ☆128Updated 3 years ago
• reddr / axplorer
  axplorer - Android Permission Mappings
  ☆109Updated 4 years ago
• lilicoding / SimiDroid
  Identifying and Explaining Similarities in Android Apps
  ☆26Updated 6 years ago
• VPRLab / BackDroid
  A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid
  ☆47Updated 3 years ago
• sqlab-sustech / APER-tool
  ☆10Updated 3 years ago
• whucs303 / VAHunt
  ☆16Updated 4 years ago
• arguslab / Argus-SAF
  Argus static analysis framework
  ☆186Updated last year