Alternatives and similar repositories for dosebook

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

• cmudevops / course-materials
  materials about and for the classes I teach
  ☆16Updated 3 years ago
• len-bass / architecture-design
  course material for six week architecture design course
  ☆48Updated last year
• mal-lang / exampleLang
  A MAL language that demonstrates the Maven project structure
  ☆23Updated 3 years ago
• awesome-security / awesome-static-analysis
  A curated list of static analysis tools, linters and code quality checkers for various programming languages
  ☆38Updated 8 years ago
• ldomb / ChaosEngineeringPublicStories
  This Repository holds a list of public Chaos Engineering stories from major institutions around the world
  ☆47Updated 3 months ago
• chainguard-dev / bom-shelter
  A place to systematically store software bill of materials (SBOM) documents.
  ☆46Updated 2 years ago
• Programming-Systems-Lab / dyclink
  ☆9Updated 6 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 4 months ago
• martineberlein / avicenna
  Debugging Prototype Avicenna
  ☆10Updated 3 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• fugue / fugue-client
  Command line client for the Fugue API
  ☆14Updated 2 years ago
• swtv-kaist / MUSIC
  MUSIC: MUtation analySIs tool with High Configurability and Extensibility
  ☆17Updated last year
• cs-uob / COMSM0049
  Systems and Software Security
  ☆16Updated 7 months ago
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆93Updated last year
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆42Updated 9 months ago
• clouditor / cloud-property-graph
  The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.
  ☆25Updated 4 months ago
• OWASP / OdTM
  OWASP Ontology-driven Threat Modelling framework
  ☆37Updated last year
• oracle / macaron
  Macaron is an extensible supply-chain security analysis framework from Oracle Labs that supports a wide range of build systems and CI/CD …
  ☆157Updated this week
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated this week
• stg-tud / MUDetect
  ☆25Updated 4 years ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 9 months ago
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated 8 months ago
• matthiasrohr / OTMT
  Open Threat Modeling Template
  ☆50Updated 10 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 weeks ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• ChunghaSung / JSdep
  Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".
  ☆11Updated 6 years ago
• Ask-Sage / NIST-800-53-Automation
  This python app generates NIST 800 53 control implementation for each control and generate the CSV file.
  ☆48Updated last year
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆70Updated 6 months ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• aws / aws-codeguru-cli
  Command line wrapper to interact with CodeGuru Reviewer
  ☆23Updated 9 months ago