secure-software-engineering/phasar

Issues

• phasar installs files back into the directory next to the build directory

  #564 opened 2 years ago
  1

• stdc++fs isn't needed on FreeBSD

  #563 opened 2 years ago
  1

• cannot initialize object parameter of type 'psr::CHAResolver' with an expression of type 'psr::RTAResolver'

  #562 opened 2 years ago
  2

• CMake Uninstall Target

  #556 opened 2 years ago
  1

• How to Uninstall Phasar in Ubuntu 22.

  #555 opened 2 years ago
  1

• On-The-Fly Reporting

  #552 opened 10 months ago
  0

• Using custom entry point function with arguments

  #549 opened 2 years ago
  2

• Remove Boost Graph

  #547 opened 2 years ago
  0

• Update CREDITS.txt

  #544 opened 2 years ago
  2

• FlowEdgeFunction Documentation

  #543 opened 2 years ago
  1

• Clarify PointsToInfo Naming

  #542 opened 2 years ago
  0

• Re-organize Folder Structure

  #541 opened 2 years ago
  0

• Coverage Tracking

  #540 opened 2 years ago
  0

• Update Coding Guidelines

  #539 opened 2 years ago
  1

• Update Wiki

  #538 opened 2 years ago
  0

• Update or Move phasar.org

  #537 opened 2 years ago
  0

• Unable to build use-phasar-as-library example, phasar_FOUND set to false

  #531 opened 2 years ago
  11

• LLVM not buildable on Ubuntu 20.04

  #526 opened 2 years ago
  4

• build error in ubuntu 22.04

  #514 opened 2 years ago
  0

• How to tell pointer-analysis in phasar not treat some pointers as alias

  #513 opened 2 years ago
  1

• Will the SPDS(POPL19) be incorporated in phasar?

  #512 opened 2 years ago
  1

• Auto-detect build directory to successfully run unit tests

  #510 opened a year ago
  5

• how can i get a taint path in ifds-taint/ide-xtaint analysis?

  #506 opened 2 years ago
  3

• Phasar build failed in Ubuntu-18.04

  #497 opened 3 years ago
  2

• Using of "deprecated" c++-17 class(MacOs)

  #494 opened 3 years ago
  4

• Replace boost::filesystem with std::filesystem

  #493 opened 2 years ago
  1

• Seems something wrong in the setEnvironmentVariables.sh?

  #491 opened 3 years ago
  0

• IDEExtendedTaintAnalysis for LLVMBasedBackwardsICFG

  #486 opened 2 years ago
  2

• Linking error - missing LD_LIBRARY_PATH in install script?

  #484 opened 3 years ago
  1

• Can Phasar transform source-level CFG to IR-level CFG

  #482 opened 2 years ago
  1

• Is there a tutorial for taint analysis?

  #481 opened 3 years ago
  3

• Build Error on Ubuntu 21.10 - removed linux/cyclades.h

  #479 opened 3 years ago
  4

• taint-analysis not working in PhASAR

  #440 opened 3 years ago
  0

• Get data flow for leaks in taint analysis

  #438 opened 2 years ago
  3

• Phasar does not compile on OS X Big Sur

  #422 opened 2 years ago
  4

• Standardized on D versus d_t for Dataflow Fact

  #415 opened 3 years ago
  2

• Eliminate unnecessary indirection layers FlowFunctionType, FlowFunctionTypePtr, and container_type

  #414 opened 2 years ago
  2

• Add save/load methods for LLVMPointsToSet

  #411 opened 3 years ago
  1

• unreachable code

  #410 opened 3 years ago
  1

• Clarify meaning of https://github.com/secure-software-engineering/phasar/wiki/Writing-an-Inter-Procedural-Monotone-Framework-Analysis-(Using-Call-Strings)

  #405 opened 2 years ago
  1

• Improve PointsToSet precision by deal with "MayAlias" and "MustAlias" differently

  #381 opened 3 years ago
  1

• wrong taint ptopagation for structs

  #368 opened 3 years ago
  1

• plugin make file

  #351 opened 2 years ago
  2

• Why all esg data flow fact are empty?

  #340 opened 2 years ago
  4

• Can、

  #339 opened 4 years ago
  0

• Document when to use forward declarations versus #includes

  #338 opened 2 years ago
  2

• Document branch model used for SDLC

  #337 opened 2 years ago
  2

• Automatically format code via Clang Tidy GitHub action

  #336 opened 3 years ago
  2

• Simplify design and architecture and remove plugin approach

  #335 opened 2 years ago
  3

• AddData in ProfileData.cc crashes computeFunctionsPointsToSet using CFLSteens

  #329 opened 4 years ago
  3