FreeBSD.software
Home/devel/phasar

phasar

2503_2

LLVM-based static analysis framework

PhASAR is a LLVM-based static analysis framework written in C++. It allows users to specify arbitrary data-flow problems which are then solved in a fully-automated manner on the specified LLVM IR target code. Computing points-to information, call-graph(s), etc. is done by the framework, thus you can focus on what matters.

Origin: devel/phasar
Category: devel
Size: 9.26MiB
License: MIT
Maintainer: yuri@FreeBSD.org
Dependencies: 6 packages
Required by: 0 packages
Website: phasar.org
$pkg install phasar

Dependencies (6)

sqlite3python311llvm15curlboost-libsbash

More in devel

ruby33-gems3.7.2
Package management framework for the Ruby language
gettext-runtime0.26
GNU gettext runtime libraries and programs
glib2.84.4,2
Some useful routines of C programming (current stable version)
desktop-file-utils0.28
Couple of command line utilities for working with desktop entries
qt6-base6.10.1_1
Qt base (core, gui, widgets, network,...)
qt5-core5.15.18p109
Qt core non-graphical module (KDE patched)
rubygem-aws-sigv41.12.1
Amazon Web Services Signature Version 4 signing library
php84-pear1.10.17
PEAR framework for PHP
rubygem-aws-sdk-core3.240.0
AWS SDK for Ruby - Core
php82-pear1.10.17
PEAR framework for PHP