#

program-analysis

Here are 32 public repositories matching this topic...

wala / WALA

Star

T.J. Watson Libraries for Analysis

javascript android java static-code-analysis static-analysis callgraph program-analysis pointer-analysis slicing dataflow-analysis

Updated Aug 1, 2021
Java

returntocorp / semgrep-rules

Star

Open

SQL injection false negative

2

emjin commented May 10, 2021

Describe the bug
See returntocorp/semgrep#3065

Steps to reproduce
https://semgrep.dev/s/enochii:false-negative-of-sql-injection

The fix seems very easy: the original reporter proposed

To avoid false positives, we might prefer
`- pattern: $OB

Read more

external-user false-negative good first issue

Open

Detect new GH token format

cs-au-dk / TAJS

Star

Type Analyzer for JavaScript

javascript static-code-analysis static-analyzer program-analysis type-checking

Updated Jul 18, 2020
Java

mingyuan-xia / PATDroid

Star

A Program Analysis Toolkit for Android

android bytecode gradle wiki life extract apk dalvik program-analysis

Updated May 25, 2017
Java

ghaffarian / progex

Star

PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code

java programming-language graph ast antlr4 program-analysis cfg pdg

Updated Aug 29, 2020
Java

miwong / tiro

Star

TIRO - A hybrid iterative deobfuscation framework for Android applications

android static-analysis deobfuscation dynamic-analysis program-analysis

Updated Aug 17, 2018
Java

SRI-CSL / bixie

Star

Inconsistent code detection for Java.

java static-analysis static-analyzer program-analysis inconsistency

Updated Jan 26, 2018
Java

plast-lab / HeapDL

Star

Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.

jvm android-development program-analysis heapdump

Updated May 3, 2021
Java

umangm / rapid

Star

Dynamic Analysis for Concurrent Programs

thread concurrent-programming program-analysis dynamic-analysis-engines race-detection-engines

Updated Apr 13, 2021
Java

PAMunb / JimpleFramework

Star

A Rascal implementation of the Jimple framework.

static-analysis program-analysis rascal jimple jimple-framework

Updated Jun 21, 2021
Java

spideruci / tacoco

Star

Integrated Software Analysis Framework

java program-analysis

Updated Nov 12, 2020
Java

rvprasad / Indus_archive

Star

A program analysis and slicing library for concurrent Java.

java eclipse static-analysis eclipse-plugin program-analysis program-slicing

Updated Oct 22, 2019
Java

CompL-IITMandi / stava

Star

Stava is a static program analysis for identifying stack allocable objects of code written in Java 8

java program-analysis soot stack-allocation static-anaysis

Updated Jun 18, 2021
Java

umangm / ziptrack

Star

Race Detection on Compressed Traces

compression programming-languages program-analysis race-detection

Updated Dec 5, 2019
Java

jbalint / jcfl

Star

Java class file loader for analysis & synthesis

java program-synthesis program-analysis

Updated Nov 17, 2020
Java

vishnu45 / SQL-injection-detection

Star

A java based framework for detecting SQL injection vulnerable sections within PHP code.

static-code-analysis sql-injection program-analysis taint-analysis

Updated Jan 22, 2017
Java

euske / fgyama

Star

Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.

software-engineering program-analysis source-code-analysis dataflow-analysis

Updated Jul 18, 2021
Java

duangsuse-valid-projects / Essay-Java-Decompile-By-Hand

Star

手动反编译 Java 字节码

java decompile program-analysis plt

Updated Jun 23, 2019
Java

Naplues / Static-Analysis

Star

The

metrics control-flow-graph program-analysis

Updated Dec 25, 2017
Java

harmim / vut-pp1

Star

Project Practice 1 - Atomer: Atomicity Violations Analyser

facebook static-analysis ocaml concurrency project program-analysis abstract-interpretation atomicity vut vut-fit facebook-infer atomicity-violation project-practice

Updated Mar 18, 2021
Java

APComputerScienceA / t3-vm-unit-test-practice

Star

Topic 3: In-Class Unit Test Writing Exercise

java unit-testing ap-computer-science program-analysis

Updated Dec 18, 2018
Java

Emoun / progysis-java

Star

Program Analysis framework for Java

java java-8 java-library program-analysis progysis

Updated May 13, 2017
Java

baonguyen96 / JoanaPdgPruner

Star

Custom filter to prune generated PDGs from JOANA

filter symbolic-execution program-analysis joana prune-generated-pdgs

Updated Apr 25, 2018
Java

deepak0004 / Inter_And_Intra

Star

program-analysis soot constant-propagation jimple

Updated Nov 28, 2017
Java

FireElementalNE / MPCLoopParallelization

Star

Loop Parallelization for MPC

static-analysis z3 program-analysis soot loop-optimization multiparty-computation

Updated Oct 5, 2020
Java

ekincanufuktepe / code-change-sniffer

Star

This is a study on predicting code changes with Markov Chains for Java projects based on their commits. (COMPSAC 2021)

markov-chain prediction program-analysis change-impact-analyis

Updated Jul 27, 2021
Java

jgaltidor / VarJ

Star

Java Generics Refactoring Tool for Inferring Wildcards

refactoring java scala wildcards generics program-analysis jastadd attribute-grammars refactoring-java-generics inferring-wildcards

Updated Jan 12, 2015
Java

APComputerScienceA / t3-map-assignment

Star

Topic 3: Using Tests to Debug Assignment

java unit-testing ap-computer-science program-analysis

Updated Jan 14, 2019
Java

se2p / scratch-anomalies

Star

Anomaly Detection in Scratch

teaching scratch program-analysis anomaly-detection block-based-programming

Updated May 6, 2021
Java

Program-Analysis / paToolkit4Java

Star

library program-analysis

Updated Jun 14, 2020
Java

Improve this page

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