(WIP) Static Analyzer for Sway

My First PHPStan Project

Reaching Definitions analysis in Rust

MIRROR of https://codeberg.org/catseye/yucca : A dialect-agnostic static analyzer for 8-bit BASIC programs

Find similar functions and classes in your TypeScript/JavaScript code.

Bir fotoğrafın istatisliksel değerleri hesaplayan bir uygulama

Statically generate a github flavored README.md from a Go module.

A flycheck integration for RATS

clair image scan

Eurocast 2022 - Static Deadlock Detection in Low-Level C Code

CLI and HTTP application for running static analysis of rust-based smart contracts

The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis

A simple compiler wrapper for capturing source files for Facebook Infer

Test of Slither

Code repo for the talk "Better project maintenance with static analysis"

A tool for testing and analyzing randomness using random number generators, estimating π and visualizing results.

Latest Version: 0.2.7 --- This project is designed to streamline the collection of data for static analysis, enhancing the speed and efficiency of identifying Indicators of Compromise (IOCs) and other potentially malicious activities carried out by files.

This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values like user input.

my customerized version of FlowDroid, which is used to control the time spent on path reconstruction ( this phase is such a time killer!) Branch develop is for my own project; Branch main is for creating PR. Now PR is in review. 这是我用于解决Flowdroid的Path Reconstruction部分耗时太久而产生的一个fork仓库，目前已提交PR审核。