meizjm3i

梅子酒's starred repositories

DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.

Language:PythonMIT8300

BigSpa

A framework for large-sacle static program analysis.

Language:Java800

Boomerang

Language:Java700

SPDS-experiments

Language:Java1100

BenchmarkJava

OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.

Language:JavaGPL-2.065200

corax-community

Corax for Java: A general static analysis framework for java code checking.

Language:KotlinLGPL-2.121200

SemanticFlowGraph

This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representations with Semantic Flow Graph for Effective Bug Localization".

Language:JavaMIT1900

codellama

Inference code for CodeLlama models

Language:PythonNOASSERTION1548000

ruler

Rewrite Rule Inference Using Equality Saturation

Language:RustMIT10800

secucheck-core

Taint Analysis on top of Soot.

Language:JavaMIT900

secucheck

Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.

Language:JavaMIT1600