Alternatives and similar repositories for conflict-static-analysis:

Users that are interested in conflict-static-analysis are comparing it to the libraries listed below

• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• boschresearch / mlfuzz
  ☆17Updated last year
• rbonifacio / svfa-scala
  An implementation of sparse-value flow analysis on top of soot (using Scala)
  ☆9Updated 3 months ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆17Updated 2 months ago
• vasumv / bonsai-fuzzing
  ☆27Updated 2 years ago
• secure-software-engineering / SootFX
  A Static Code Feature Extraction Tool for Java and Android
  ☆20Updated last year
• vandaltool / vandalir
  ☆24Updated 2 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• neu-se / CONFETTI
  ☆21Updated 2 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated last year
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 3 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• OSUSecLab / SelectiveTaint
  ☆74Updated 3 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 4 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆34Updated last year
• OSUSecLab / PaymentScope
  ☆10Updated 2 years ago
• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆40Updated last year
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆87Updated 2 months ago
• UVA-LavaLab / BigMap
  BigMap integration on AFL++
  ☆15Updated 3 years ago
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated 2 years ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆42Updated 3 years ago
• secure-software-engineering / swan
  Security methods for WeAkNess detection
  ☆20Updated last month
• fast-sp-2023 / fast
  ☆26Updated last year
• plume-oss / plume
  Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…
  ☆73Updated 5 months ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 4 years ago
• boschresearch / neuzzplusplus
  ☆19Updated last year
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆66Updated 3 months ago
• chicharitomu14 / AndScanner
  This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022
  ☆37Updated 4 months ago
• ThePatrickStar / fuzzer-data-collector
  ☆25Updated last year