#

points-to-analysis

Here are 10 public repositories matching this topic...

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code

llvm static-analysis dependency-analysis code-analysis static-analyzer pointer-analysis points-to-analysis source-code-analysis code-security static-value-flow

Updated Aug 9, 2022
C++

mchalupa / dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

analysis static-code-analysis llvm static-analysis dependency-graph slice static-analyzer program-analysis llvm-bitcode llvm-slicer dependence-graph reaching-definitions pointer-analysis slicing llvm-ir points-to-analysis data-dependency control-dependency backward-slicing backward-slice

Updated Jun 29, 2022
C++

cs-au-dk / TIP

Static program analysis for TIP

static-code-analysis static-analyzer program-analysis pointer-analysis points-to-analysis

Updated Nov 24, 2021
Scala

BytecodeDL / ByteCodeDL

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

static-analysis taint-analysis points-to-analysis security-tools sast

Updated May 30, 2022
Shell

SVF-tools / Teaching-Software-Analysis

Teaching and Learning Software Analysis via SVF

course static-analysis software-analysis taint-analysis points-to-analysis information-flow

Updated Jul 23, 2022
C++

CROSSINGTUD / SPDS

Efficient and Precise Pointer-Tracking Data-Flow Framework

java static-analysis pushdown-automaton points-to-analysis weighted-pushdown-systems typestate-analysis

Updated Jul 8, 2021
Java

edgardozoppi / analysis-net

Static analysis framework for .NET programs.

c-sharp api library framework bytecode backend analysis static-code-analysis visual-basic dotnet static-analysis ssa control-flow-analysis cil net-framework data-flow-analysis static-single-assignment three-address-code points-to-analysis call-graph-analysis

Updated Dec 17, 2020
C#

Lancern / llvm-anderson

Anderson points-to analysis implementation based on LLVM

algorithm llvm static-analysis program-analysis pointer-analysis llvm-ir points-to-analysis llvm-anderson

Updated Jan 3, 2021
C++

thepalbi / souffle-points-to-analysis

Souffle + Soot points to analysis

soot points-to-analysis souffle

Updated Oct 13, 2020
Java

gustavoerivero / -Rock-Paper-Scissors-Game

The classic 'Rock, Paper, Scissors' game with a little more difficulty than a regular randomizer. This game is available in two versions; C++ and Python.

game python cpp rock-paper-scissors points-to-analysis

Updated Jun 15, 2021
Python

Improve this page

Add a description, image, and links to the points-to-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the points-to-analysis topic, visit your repo's landing page and select "manage topics."