GaloisInc/cclyzerpp

Issues

• Performance problem in `type_compatible`

  #164 opened 2 years ago by 1396510211
  14

• shufflevector only has 2 operands

  #162 opened 2 years ago by StarGazerM
  3

• Configurable entrypoints

  #163 opened 2 years ago by 1396510211
  4

• FactGenerator: Handle `fneg`

  #94 opened 2 years ago by langston-barrett
  1

• Upgrade to Souffle 2.4

  #159 opened 2 years ago by langston-barrett
  0

• ci: Souffle upgrade broke CI!

  #154 opened 2 years ago by langston-barrett
  1

• Unable to link with `PointerAnalysis` pass

  #155 opened 2 years ago by adrianherrera
  2

• Trying to understand different call-site sensitivities

  #151 opened 2 years ago by adrianherrera
  8

• Preprocessing LLVM IR?

  #152 opened 2 years ago by adrianherrera
  3

• Building CClyzer from source error

  #147 opened 2 years ago by taptipalit
  2

• Correctness tests

  #104 opened 2 years ago by langston-barrett
  1

• ci: Build against nightly LLVM

  #127 opened 2 years ago by langston-barrett
  1

• Warnings when building with latest version of souffle

  #141 opened 2 years ago by mingodad
  9

• Warning: `No rules/facts defined for relation atomic_operation_f{add,sub}`

  #142 opened 2 years ago by langston-barrett
  0

• v0.7.0

  #133 opened 2 years ago by langston-barrett
  1

• FactGenerator: Clean up compile warnings, enable `-Werror`

  #115 opened 2 years ago by langston-barrett
  0

• Drop support for LLVM < 10

  #131 opened 2 years ago by langston-barrett
  1

• FactGenerator: Warn on unhandled features

  #123 opened 2 years ago by langston-barrett
  0

• FactGenerator: Terminate on malformed LLVM modules

  #129 opened 2 years ago by langston-barrett
  0

• Docs are down

  #125 opened 2 years ago by langston-barrett
  0

• doc: Change Sphinx theme

  #101 opened 2 years ago by langston-barrett
  0

• FactGenerator: Duplication between Main.cpp and Wrapper.cpp

  #121 opened 2 years ago by langston-barrett
  1

• ci: Compile with `-DCMAKE_BUILD_TYPE=Release` for releases

  #80 opened 2 years ago by langston-barrett
  0

• doc, ci: Improve release process

  #108 opened 2 years ago by langston-barrett
  0

• cmake: FactGenerator is built twice

  #118 opened 2 years ago by langston-barrett
  0

• cmake: LTO for releases

  #117 opened 2 years ago by langston-barrett
  0

• FactGenerator: Consistent capitalization for filenames

  #114 opened 2 years ago by langston-barrett
  0

• dl: Adapt to opaque pointers

  #113 opened 2 years ago by langston-barrett
  0

• ci: Build FactGenerator with sanitizers

  #107 opened 2 years ago by langston-barrett
  0

• dl: Offset-based memory model

  #112 opened 2 years ago by langston-barrett
  0

• cmake, ci: Lint with include-what-you-use

  #109 opened 2 years ago by langston-barrett
  1

• doc: Document installing via Debian packages

  #81 opened 2 years ago by langston-barrett
  0

• ci: Build and release artifacts for multiple LLVM versions

  #98 opened 2 years ago by langston-barrett
  0

• bug: All globals with initializers should have sizes

  #96 opened 2 years ago by langston-barrett
  0

• dl: Suppress remaining warnings

  #89 opened 2 years ago by langston-barrett
  1

• Make `Instruction` into a union type of opcodes

  #49 opened 2 years ago by langston-barrett
  0

• LLVM type relations are both inputs and computed

  #86 opened 2 years ago by langston-barrett
  0

• datalog: Don't instantiate C++ components

  #83 opened 2 years ago by langston-barrett
  0

• ci: Attach Debian package to releases

  #77 opened 2 years ago by langston-barrett
  0

• docker: Install cclyzer++ from Debian package

  #76 opened 2 years ago by langston-barrett
  0

• cmake: Package shared libraries

  #75 opened 2 years ago by langston-barrett
  0

• cmake: Integrate packaging

  #71 opened 2 years ago by langston-barrett
  0

• bug: Callgraph changed in test program

  #69 opened 2 years ago by langston-barrett
  5

• Move invariant tests from Python to Datalog

  #46 opened 2 years ago by langston-barrett
  0

• ci: Release job is failing

  #60 opened 2 years ago by langston-barrett
  2

• Semantic versioning

  #62 opened 2 years ago by langston-barrett
  0

• ci: Lint with Mypy

  #50 opened 2 years ago by langston-barrett
  0

• Remove uses of records in datalog/schema

  #47 opened 2 years ago by langston-barrett
  0

• Unify FactGenerator/Datalog relation names

  #42 opened 2 years ago by langston-barrett
  2

• Single source of truth for output relations

  #41 opened 2 years ago by langston-barrett
  0