Alternatives and similar repositories for arm-assembler-latex-listings

Users that are interested in arm-assembler-latex-listings are comparing it to the libraries listed below

• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated last week
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆245Updated 8 months ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago
• mewmew / lstlangs
  Language definitions and styles for listings in LaTeX.
  ☆68Updated 4 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated last year
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• DeadCodeProductions / dead
  ☆52Updated 2 years ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆60Updated 2 months ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆131Updated 5 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 3 years ago
• lizhuohua / rust-ffi-checker
  ☆55Updated 2 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆281Updated last year
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated last year
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆34Updated 2 months ago
• alastairreid / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆43Updated last week
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• staticafi / sbt-slicer
  Static program slicer used in Symbiotic tool
  ☆11Updated 2 months ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 3 months ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆74Updated this week
• rems-project / rmem
  rmem public repo
  ☆43Updated last month
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆39Updated last month
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆39Updated 2 weeks ago
• LiHRaM / taint
  Thesis code
  ☆26Updated last year
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆326Updated last month