{"repo":"secure-software-engineering/phasar","free":true,"listed":false,"github":"https://github.com/secure-software-engineering/phasar","clone":"git clone https://github.com/secure-software-engineering/phasar.git","description":"A LLVM-based static analysis framework.","language":"C++","stars":1053,"topics":["llvm","program-analysis","data-flow-analysis","c","cpp","static-analysis"],"license":null,"category":"dev-tools","readme_excerpt":"PhASAR: A LLVM-based Static Analysis Framework What is PhASAR? 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. You can find available literature on PhASAR here. Key Features - IFDS/IDE solver : Interprocedural data-flow solvers based on the IFDS/IDE algorithm - WPDS solver (experimental) : Data-flow solver based on weighted pushdown systems. Can solve any IFDS/IDE problem - MonoIFDS solver : High-performance data-flow solver for bottom-up IFDS analyses - Sparse analysis : SparseIFDS/SparseIDE/SparseWPDS for improved performance - Call-graph construction : Several algorithms (CHA, RTA, VTA, alias-based) - Type-hierarchy construction : Extract high-level C++ type information from LLVM IR - Points-to/alias infrastructure : High-performance alias analyses for LLVM IR. Integration with state-of-the-art alias/points-to information from SVF supported - Interprocedural CFG (ICFG) : Connecting control-flow with call-graph information - Path-tracking : Improve results-reporting by reconstruct concrete data-flow paths from IFDS/IDE results - Monotone solver : Simple intra-procedural analysis engine, based on Monotone Frameworks - Taint analysis : Infrastructure for taint-configuration & IFDS/IDE-based taint analysis","default_branch":null,"files":null,"tree":[],"storefront":"/r/secure-software-engineering","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/secure-software-engineering/phasar/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}