Movatterモバイル変換

Skip to content

#

points-to-analysis

Here are 11 public repositories matching this topic...

Language:All

Filter by language

All11 C++4 Java3 C#1 Python1 Scala1 Shell1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

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

UpdatedDec 17, 2025
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

UpdatedMay 21, 2025
C++

BytecodeDL /ByteCodeDL

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

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

UpdatedJan 6, 2024
Shell

cs-au-dk /TIP

Static program analysis for TIP

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

UpdatedMay 5, 2025
Scala

SVF-tools /Software-Analysis-Studio

Teaching and Learning Software Analysis via SVF

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

UpdatedDec 17, 2025
C++

CROSSINGTUD /SPDS

Efficient and Precise Pointer-Tracking Data-Flow Framework

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

UpdatedJul 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

UpdatedDec 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

UpdatedJan 3, 2021
C++

thepalbi /souffle-points-to-analysis

Souffle + Soot points to analysis

soot points-to-analysis souffle

UpdatedMay 14, 2023
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

UpdatedJun 15, 2021
Python

Ayush-GiTHuB-Priyadarshi /Points-to-Analysis

A Java static analysis tool built on Soot, implementing flow-sensitive, intra-procedural may-points-to analysis using Kildall’s fixpoint algorithm. Generates Jimple IR, CFGs, and points-to information at every program point. Includes testcases, expected outputs, and a Python comparator for validation.

algorithm static-analysis program-analysis soot points-to-analysis

UpdatedDec 9, 2025
Java

Improve this page

Add a description, image, and links to thepoints-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 thepoints-to-analysis topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp