GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → codelion → pa.llvm

codelion / pa.llvm

Licence: GPL-3.0 license
Program Analysis for LLVM

Programming Languages

C++
36643 projects - #6 most used programming language
LLVM
166 projects

Labels

analysisllvm

Projects that are alternatives of or similar to pa.llvm

Codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Stars: ✭ 1,209 (+3167.57%)
Mutual labels:  analysis, llvm
S2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
Stars: ✭ 102 (+175.68%)
Mutual labels:  analysis, llvm
Dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+554.05%)
Mutual labels:  analysis, llvm
SurrealNumbers.jl
Implementation of Conway's Surreal Numbers
Stars: ✭ 30 (-18.92%)
Mutual labels:  analysis
Scalpel
Scalpel: The Python Static Analysis Framework
Stars: ✭ 176 (+375.68%)
Mutual labels:  analysis
juce faustllvm
JUCE Module for the libfaust JIT compiler
Stars: ✭ 32 (-13.51%)
Mutual labels:  llvm
adorad
Fast, Expressive, & High-Performance Programming Language for those who dare
Stars: ✭ 54 (+45.95%)
Mutual labels:  llvm
Corpuscles.jl
Julia package for particle physics
Stars: ✭ 25 (-32.43%)
Mutual labels:  analysis
analysis-backend
Server component of Conveyal Analysis
Stars: ✭ 22 (-40.54%)
Mutual labels:  analysis
LLVMTemplate
LLVM + Swift template Xcode project
Stars: ✭ 12 (-67.57%)
Mutual labels:  llvm
rain
A programming language.
Stars: ✭ 20 (-45.95%)
Mutual labels:  llvm
U-00DC-Sprache
"Ü" programming language development
Stars: ✭ 43 (+16.22%)
Mutual labels:  llvm
gis-snippets
Some code snippets for GIS tasks
Stars: ✭ 45 (+21.62%)
Mutual labels:  analysis
flextool
C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Stars: ✭ 32 (-13.51%)
Mutual labels:  llvm
pytokio
[READ ONLY] Refer to gitlab repo for updated version - Total Knowledge of I/O Reference Implementation. Please see wiki for contribution guidelines.
Stars: ✭ 20 (-45.95%)
Mutual labels:  analysis
LLAST
A high level LLVM IR AST provider for GraphEngine JIT.
Stars: ✭ 21 (-43.24%)
Mutual labels:  llvm
Time-Series-Forecasting
Rainfall analysis of Maharashtra - Season/Month wise forecasting. Different methods have been used. The main goal of this project is to increase the performance of forecasted results during rainy seasons.
Stars: ✭ 27 (-27.03%)
Mutual labels:  analysis
360reverse
Reverse Engineering about 360 android app guard
Stars: ✭ 39 (+5.41%)
Mutual labels:  analysis
sycl
SYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM
Stars: ✭ 80 (+116.22%)
Mutual labels:  llvm
rocket-league-replay-analysis
UNMAINTAINED - Creating videos for Analyzing Rocket League Replays (https://gitlab.com/enzanki_ars/rocket-league-replay-analysis)
Stars: ✭ 24 (-35.14%)
Mutual labels:  analysis
View All Similar Projects ➔

pa.llvm

DOI

Program Analysis for LLVM

Need LLVM Source Code to Run

  • copy in lib/Transforms/ folder inside LLVM top level source tree
  • update Makefile in lib/Transforms/ folder to include the analysis you want (e.g. CVA)
  • configure using ./configure in source root directory
  • compile using "gmake" command in local directory
  • should get a “Debug+Asserts/lib/CVA.so” under the top level directory of the LLVM source tree
  • run using opt -load ../../../Debug+Asserts/lib/CVA.so -cva < bitcode.bc > /dev/null

Details on LLVM Pass can be found at http://llvm.org/docs/WritingAnLLVMPass.html

Publications

An Empirical Study of Path Feasibility Queries, CoRR 2013

A Critical Review of Dynamic Taint Analysis and Forward Symbolic Execution, Technical Report NUS 2012

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].