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

• mewmew / lstlangs
  Language definitions and styles for listings in LaTeX.
  ☆67Updated 4 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆312Updated 3 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆66Updated 2 weeks ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆86Updated this week
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• columbia / neongoby
  NeonGoby alias analysis checker
  ☆15Updated 11 years ago
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆39Updated 4 months ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆40Updated 4 months ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆275Updated this week
• rettichschnidi / clang-misracpp2008
  An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…
  ☆45Updated 7 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 9 months ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 9 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆171Updated 4 years ago
• sosy-lab / sv-comp
  Information to reproduce results from SV-COMP (MOVED, please follow the link)
  ☆15Updated 4 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆52Updated 10 months ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆142Updated 5 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆238Updated 5 months ago
• inducer / pycparserext
  Extensions for Eli Bendersky's pycparser
  ☆85Updated 4 months ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 2 weeks ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆54Updated 11 months ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• model-checking / cbmc-viewer
  CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
  ☆32Updated last month
• uw-unsat / serval
  ☆47Updated 3 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• chaudron / cally
  Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files
  ☆189Updated last year
• LiHRaM / taint
  Thesis code
  ☆26Updated last year
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆219Updated last year
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Updated 4 years ago