squaresLab/Kaskara

Issues

• Add option to toggle loading of kaskara-clang into Docker containers (when preinstalled)

  #64 opened 3 months ago by ChrisTimperley
  0

• Add ability to run Kaskara on a live container rather than an image

  #66 opened 3 months ago by ChrisTimperley
  0

• libc: Portable binaries won't run on musl-libc distributions (e.g., Alpine)

  #63 opened 4 months ago by ChrisTimperley
  0

• malformed clang::SourceRange results in kaskara-statement-finder abort

  #62 opened 2 years ago by pdreiter
  2

• Kaskara issues on coreutils/gnubug_26545

  #58 opened 2 years ago by pdreiter
  3

• lib/kaskara/clang/backend/Dockerfile fails during build [ issue with /opt/llvm11 path ]

  #60 opened 2 years ago by pdreiter
  1

• lib/kaskara/clang/backend/Dockerfile fails during build [ issue with nlohmann/json/archive/v3.1.2.tar.gz ]

  #59 opened 2 years ago by pdreiter
  4

• Add SymbolTable data structure

  #55 opened 4 years ago by ChrisTimperley
  0

• Add SymbolTable, ProgramSymbolTable, and Symbol interfaces

  #57 opened 4 years ago by ChrisTimperley
  0

• Update Python driver to use Parso rather than native ast module

  #56 opened 4 years ago by ChrisTimperley
  0

• Use flake8 rather than pycodestyle for Python linting

  #54 opened 5 years ago by ChrisTimperley
  0

• Add install method to ensure that Docker image has been built

  #39 opened 5 years ago by ChrisTimperley
  1

• bug: Docker image not found

  #53 opened 5 years ago by yxliang01
  1

• Add a basic command-line utility for quick debugging

  #30 opened 5 years ago by ChrisTimperley
  1

• Add logging facilities to Python library via Loguru

  #2 opened 5 years ago by ChrisTimperley
  0

• return_type attribute in FunctionDesc should be optional

  #52 opened 5 years ago by ChrisTimperley
  1

• Design language-agnostic analysis API

  #41 opened 5 years ago by ChrisTimperley
  0

• Add install method to Analyser interface

  #51 opened 5 years ago by ChrisTimperley
  0

• Add ProjectContainer data structure

  #50 opened 5 years ago by ChrisTimperley
  0

• Remove from_dict from all analysis data structures

  #49 opened 5 years ago by ChrisTimperley
  0

• Rename "BondException" to "KaskaraException"

  #3 opened 5 years ago by ChrisTimperley
  0

• Use DockerBlade rather than BugZoo for Docker interactions

  #42 opened 5 years ago by ChrisTimperley
  0

• Remove snapshot argument from "from_dict" and "to_dict" methods

  #48 opened 5 years ago by ChrisTimperley
  0

• Add Tox integration

  #46 opened 5 years ago by ChrisTimperley
  0

• Use setup.cfg rather than setup.py

  #47 opened 5 years ago by ChrisTimperley
  0

• Remove dependency on Boggart

  #43 opened 5 years ago by ChrisTimperley
  0

• Remove dependency on Rooibos

  #45 opened 5 years ago by ChrisTimperley
  0

• Automatically construct compile_commands.json via portable Bear

  #35 opened 6 years ago by ChrisTimperley
  0

• Update C++ driver to use a newer version of Clang

  #27 opened 6 years ago by ChrisTimperley
  0

• Add support for ArraySubscriptExpr when resolving MemberExpr

  #26 opened 6 years ago by ChrisTimperley
  0

• Increments are not recognised as writes

  #15 opened 6 years ago by ChrisTimperley
  0

• Allow different languages to be provided by run-time plugins

  #44 opened 5 years ago by ChrisTimperley
  0

• build_loc_str fails when given a macro expansion

  #36 opened 5 years ago by ChrisTimperley
  0

• Ignore statements contained within loop headers

  #31 opened 6 years ago by ChrisTimperley
  0

• Do not treat ArraySubscriptExpr as a canonical statement

  #28 opened 6 years ago by ChrisTimperley
  0

• Do not ignore enum values when collecting scope, liveness, and read/write information

  #24 opened 6 years ago by ChrisTimperley
  0

• Do not allow declarations without a definition to be admitted to snippet database

  #7 opened 6 years ago by ChrisTimperley
  0

• Update statement collector to report statement kind

  #22 opened 6 years ago by ChrisTimperley
  0

• Duplicate statement entries produced by statement collector

  #20 opened 6 years ago by ChrisTimperley
  0

• Use canonicalisation to reduce number of equivalent snippets

  #6 opened 6 years ago by ChrisTimperley
  0

• Add support for fields to liveness analysis

  #13 opened 6 years ago by ChrisTimperley
  0

• Add placeholder empty statement to the end of each block

  #12 opened 6 years ago by ChrisTimperley
  0

• Ensure consistent handling of MemberExpr

  #10 opened 6 years ago by ChrisTimperley
  0

• Update locations to use relative paths rather than absolute paths

  #5 opened 6 years ago by ChrisTimperley
  0