secure-software-engineering/phasar

Issues

• Indices in uninit variables analysis

  #720 opened 8 months ago by StamesJames
  3

• Dataflow facts disappear when using PropagateOntoStrategy in backward analysis

  #729 opened 6 months ago by yuffon
  3

• Phasar does not support exit() as exit points when calling getAllExitPoints()

  #728 opened 6 months ago by yuffon
  2

• Phasar does not support exit

  #727 opened 6 months ago by yuffon
  0

• PointsToInfo.cpp:64:3: error: implicit instantiation of undefined template 'std::vector<const llvm::Value *>'

  #718 opened 7 months ago by yurivict
  2

• Handling getCalledFunction() method

  #631 opened 8 months ago by BowenZhang-UST
  3

• Phasar conflicts with the pre-installed nlohmann-json during the run-time

  #715 opened 9 months ago by yurivict
  3

• Tutorial (https://phasar.org/tutorial/) doesn't explain how to run Phasar

  #716 opened 9 months ago by yurivict
  3

• A problem when build call graph in methd

  #713 opened 9 months ago by ms-sky
  1

• Dataflow result at @llvm.dbg instruction is empty

  #712 opened 9 months ago by yuffon
  1

• Prepare for LLVM 15

  #591 opened 10 months ago by fabianbs96
  0

• phasar installs files from googletest, nlohmann json

  #566 opened 2 years ago by yurivict
  3

• DI-based TypeHierarchy

  #623 opened 10 months ago by fabianbs96
  0

• CMake files do not respect the LLVM config files from the custom installation

  #689 opened a year ago by flipreverse
  1

• How to define `LLVMBasedICFG`

  #696 opened a year ago by Mohannadcse
  2

• function(phasar_config executable) is not executed in phasarConfig.cmake

  #693 opened a year ago by yuffon
  1

• Compile error in latest version.

  #688 opened a year ago by yuffon
  2

• Can Phasar be used to identify control-dependent instructions

  #685 opened a year ago by Mohannadcse
  6

• killAllFlows() does not kill fact?

  #681 opened a year ago by yuffon
  2

• Dataflow facts vanish after function call using PropagateOnto strategy

  #679 opened a year ago by yuffon
  5

• Analysis not finnishing

  #676 opened a year ago by StamesJames
  4

• Homebrew formula

  #601 opened a year ago by mcandre
  5

• stdio type state analysis has a bug?

  #650 opened a year ago by small-cat
  5

• Is the latest version 0323 or 1222?

  #634 opened a year ago by yurivict
  6

• leak in llvm code generated by rust notfound: functions with String return parameter

  #643 opened a year ago by StamesJames
  7

• leak not found in llvm generated with rust

  #642 opened a year ago by StamesJames
  6

• Is there a backward IFDS analysis example?

  #657 opened a year ago by yuffon
  12

• Double Free not found during Taint Analysis

  #658 opened a year ago by flammi
  3

• build analysis on an existing module

  #666 opened a year ago by yuffon
  1

• long time to build ICFG for big programs

  #675 opened a year ago by yuffon
  4

• Simple Taint Analysis example with phasar-cli

  #674 opened a year ago by StamesJames
  1

• /usr/local/llvm14/bin/opt: array_01_cpp_m2r_dbg.ll:13:16: error: expected type

  #604 opened a year ago by yurivict
  1

• How to deal with the results related to function call in data flow analysis?

  #646 opened a year ago by yuffon
  10

• Evaluate Profile-Guided Optimization (PGO) and LLVM BOLT

  #668 opened a year ago by zamazan4ik
  1

• Simple type hierachy analysis produce wrong results

  #656 opened a year ago by yiyuaner
  1

• OOM: scan linux kernel bytecode

  #624 opened a year ago by small-cat
  14

• Which one is better for developing a field sensitive taint analysis

  #649 opened a year ago by Luweicai
  2

• Does Phasar have Field Sensitive Pointer Analysis or how to provide one to it?

  #645 opened a year ago by Luweicai
  4

• Ubuntu22 installation error: /usr/bin/ld: cannot find -lstdc++: No such file or directory

  #639 opened 2 years ago by AnonymousAuthor000
  5

• How to use phasar results in a LLVM pass?

  #637 opened 2 years ago by william4code
  5

• Problem in initialization Seeds

  #633 opened 2 years ago by Luweicai
  1

• Possible error in function resultatinLLVMSSA()

  #629 opened 2 years ago by Luweicai
  6

• Compile phasar in debug mode and can't find libLLVMPasses.so.12, but the release mode can.

  #622 opened 2 years ago by william4code
  1

• Stack overflow when analyzing

  #613 opened 2 years ago by asesidaa
  2

• CMake Error: install TARGETS given no LIBRARY DESTINATION for shared library target

  #599 opened 2 years ago by boehmseb
  4

• Bootstrap.sh not working with no boost library installed

  #611 opened 2 years ago by StamesJames
  1

• Better EdgeFunctions

  #578 opened 2 years ago by fabianbs96
  0

• The Tutorial on the webpage doesn't explain how to run phasar

  #567 opened 2 years ago by yurivict
  4

• Create LLVM-independent interface for TaintConfig and implement it in LLVMTaintConfig

  #581 opened 2 years ago by fabianbs96
  0

• phasar installs empty directories bin/CodeGen/output, bin/CodeGen/template

  #565 opened 2 years ago by yurivict
  1