Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/cclyzerpp issues and pull requests

#100 - doc: Separate build, installation, and usage docs

Pull Request - State: closed - Opened by langston-barrett about 2 years ago - 1 comment
Labels: documentation

#99 - doc: Mention Debian packages

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#98 - ci: Build and release artifacts for multiple LLVM versions

Issue - State: open - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#97 - Properly specify dependencies in Debian package

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#96 - bug: All globals with initializers should have sizes

Issue - State: open - Opened by langston-barrett about 2 years ago
Labels: bug

#95 - Globals with initializers should have allocation sizes

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#94 - FactGenerator: Handle `fneg`

Issue - State: closed - Opened by langston-barrett about 2 years ago - 1 comment

#93 - ci, docker: Disaggregate Clang and LLVM versions, Clang 11, LLVM 10+11

Pull Request - State: closed - Opened by langston-barrett about 2 years ago - 3 comments

#92 - v0.4.0

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#91 - ci, cmake: Run clang-tidy on the FactGenerator in CI

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#90 - Rename more relations for FactGenerator/Datalog consistency

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: refactor

#89 - dl: Suppress remaining warnings

Issue - State: closed - Opened by langston-barrett about 2 years ago - 1 comment

#88 - datalog: Use more specific types

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: refactor

#87 - datalog: Turn `Instruction` into a union of instruction types

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#86 - LLVM type relations are both inputs and computed

Issue - State: open - Opened by langston-barrett about 2 years ago

#85 - Remove subset-and-unification target

Pull Request - State: closed - Opened by langston-barrett about 2 years ago - 1 comment

#84 - datalog: Don't instantiate `ThrowInstruction` component

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#83 - datalog: Don't instantiate C++ components

Issue - State: closed - Opened by langston-barrett about 2 years ago

#82 - Remove extraneous relations leftover from LogicBlox port

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: refactor

#81 - doc: Document installing via Debian packages

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: documentation

#80 - ci: Compile with `-DCMAKE_BUILD_TYPE=Release` for releases

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#79 - v0.3

Pull Request - State: closed - Opened by langston-barrett about 2 years ago - 2 comments

#78 - ci: Attach Debian package to releases

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#77 - ci: Attach Debian package to releases

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#76 - docker: Install cclyzer++ from Debian package

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#75 - cmake: Package shared libraries

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#74 - cmake: Integrate fpm for .deb packaging

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#73 - Further improvements to diff script

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#72 - FactGenerator: Don't generate `{in,}direct_{call,invoke}`

Pull Request - State: closed - Opened by langston-barrett about 2 years ago - 1 comment

#71 - cmake: Integrate packaging

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#70 - Package for Debian with fpm

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#69 - bug: Callgraph changed in test program

Issue - State: closed - Opened by langston-barrett about 2 years ago - 5 comments
Labels: bug

#68 - Improve script for human-readable diffs of analysis outputs

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#67 - Remove `pts_` prefix from signature relations

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#66 - Reorganize tests

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#65 - Consistent names for GEP relations

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#64 - doc: Move cclyzer license (MIT) into documentation

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: documentation

#63 - cmake: Move C++ files out of the top level into `src/`

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#62 - Semantic versioning

Issue - State: open - Opened by langston-barrett about 2 years ago

#61 - ci: Fix release job by logging into GHCR

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#60 - ci: Release job is failing

Issue - State: closed - Opened by langston-barrett about 2 years ago - 2 comments
Labels: bug, infrastructure

#59 - v0.2

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#58 - datalog: Fix some Soufflé warnings

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#57 - Rename instruction relations

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#56 - ci: Lint with Mypy

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#55 - ci: Pin Ubuntu 22.04

Pull Request - State: closed - Opened by langston-barrett about 2 years ago - 2 comments

#54 - FactGenerator: Consistent names for multi-word opcodes

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#53 - FactGenerator: Rename `isvolatile` to `is_volatile`

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#52 - Remove uses of records in instruction schemata

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#51 - Rename `type{_,-}compatibility.dl`

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#50 - ci: Lint with Mypy

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#49 - Make `Instruction` into a union type of opcodes

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: refactor

#48 - test: Remove 'actual' CSV files

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#47 - Remove uses of records in datalog/schema

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: refactor

#46 - Move invariant tests from Python to Datalog

Issue - State: closed - Opened by langston-barrett about 2 years ago

#45 - Rename relations

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: refactor

#44 - ci: Only push Docker images to GHCR on releases

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#43 - ci, docker: Parallelize tests with pytest-xdist

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#42 - Unify FactGenerator/Datalog relation names

Issue - State: open - Opened by langston-barrett about 2 years ago - 2 comments
Labels: refactor

#41 - Single source of truth for output relations

Issue - State: open - Opened by langston-barrett about 2 years ago

#40 - Single source of truth for import relations

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#39 - Naming conventions

Issue - State: open - Opened by langston-barrett about 2 years ago - 2 comments

#38 - ci: Lint Souffle warnings

Issue - State: closed - Opened by langston-barrett about 2 years ago - 1 comment

#37 - Single source of truth for input relations

Issue - State: closed - Opened by langston-barrett about 2 years ago

#36 - cmake: Fact generator sources are listed twice

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#35 - ci: Parallelize pytests

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#34 - Determine how long Docker images are kept

Issue - State: closed - Opened by langston-barrett about 2 years ago - 2 comments
Labels: infrastructure

#33 - ci: Lint with `clang-format`

Issue - State: closed - Opened by langston-barrett about 2 years ago

#32 - ci: Lint with `clang-tidy`

Issue - State: open - Opened by langston-barrett about 2 years ago

#31 - ci: Lint with clang-format

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#30 - ci: Pin Ubuntu 22.04

Issue - State: closed - Opened by langston-barrett about 2 years ago - 1 comment
Labels: infrastructure

#29 - Extraneous relations from LogicBlox port

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: refactor

#28 - Datalog file name convention

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: refactor

#27 - Remove debug info handling

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#26 - Remove unfinished features like debug info handling

Issue - State: closed - Opened by langston-barrett about 2 years ago - 1 comment

#25 - docker: Separate Dockerfiles for dev and dist images

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#24 - A wrapper executable

Issue - State: open - Opened by langston-barrett about 2 years ago
Labels: enhancement

#23 - ci: Run tests

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#22 - Freeze Python development tools

Issue - State: closed - Opened by langston-barrett about 2 years ago - 1 comment
Labels: infrastructure

#21 - ci: Attach artifacts to releases

Issue - State: closed - Opened by langston-barrett about 2 years ago - 1 comment
Labels: infrastructure

#20 - doc: Improve changelog, release docs

Pull Request - State: closed - Opened by langston-barrett about 2 years ago
Labels: documentation

#19 - ci: Create releases for tags

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#18 - ci: Run tests

Issue - State: closed - Opened by langston-barrett about 2 years ago
Labels: infrastructure

#17 - docker: Install analysis executables in `dist` image

Issue - State: closed - Opened by langston-barrett about 2 years ago - 1 comment
Labels: infrastructure

#16 - CI and Docker

Pull Request - State: closed - Opened by langston-barrett about 2 years ago

#15 - Provide executables

Issue - State: open - Opened by langston-barrett about 2 years ago - 1 comment
Labels: enhancement, infrastructure

#14 - doc: Point to blog posts

Pull Request - State: closed - Opened by langston-barrett over 2 years ago

#13 - Migrate library function signatures from MATE

Issue - State: open - Opened by langston-barrett over 2 years ago
Labels: enhancement

#12 - Upgrade to the latest LLVM

Issue - State: open - Opened by langston-barrett over 2 years ago - 2 comments

#11 - Missing facts due to not modeling memset

Issue - State: open - Opened by langston-barrett over 2 years ago - 1 comment
Labels: bug/unsoundness

#9 - Arrays may be indexed as pointers

Issue - State: open - Opened by langston-barrett over 2 years ago
Labels: precision

#8 - Provide a Dockerfile

Issue - State: closed - Opened by langston-barrett over 2 years ago
Labels: infrastructure

#7 - test: Add golden test files

Pull Request - State: closed - Opened by langston-barrett over 2 years ago

#6 - ci: Lint

Issue - State: closed - Opened by langston-barrett over 2 years ago - 1 comment
Labels: infrastructure

#5 - ci: Build

Issue - State: closed - Opened by langston-barrett over 2 years ago
Labels: infrastructure

#4 - README, doc: Add online doc link

Pull Request - State: closed - Opened by langston-barrett over 2 years ago

#3 - README: Remove unnecessary and broken link

Pull Request - State: closed - Opened by langston-barrett over 2 years ago

#2 - ci: Fix docs path for deploy step

Pull Request - State: closed - Opened by langston-barrett over 2 years ago

#1 - CI

Pull Request - State: closed - Opened by langston-barrett over 2 years ago