leoliaolei

followers

0

following

stars

leoliaolei's starred repositories

Unity

Simple Unit Testing for C

Language:CMIT388300

scvs

Secure Coding Validation Suite

Language:CNOASSERTION1500

open-c-book

开源书籍:《C语言编程透视》，配套视频课程《360° 剖析 Linux ELF》已上线，视频讲解更为系统和深入，欢迎订阅：https://www.cctalk.com/m/group/88089283

Language:Shell89400

itc-benchmarks

The modified static analysis benchmarks from Toyota ITC.

Language:CNOASSERTION400

infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.

Language:C#MIT72700

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlMIT1481600

itc-benchmarks

static analysis benchmarks from Toyota ITC

Language:CNOASSERTION11300

itc-testing-tools

This repo contains several scripts that can be used to run several static analysis tools over the ITC-Toyota benchmark.

Language:Python500

Recaf

The modern Java bytecode editor

Language:JavaMIT580700

jar-string-editor

Edit hard-coded strings inside JAR files.

Language:JavaScriptGPL-2.03000

SAST

《深入理解SAST静态应用安全测试》Static Application Security Testing.

mms

Modern Memory Safety in C/C++

NOASSERTION120200

VulnCases

Vulnerability examples.

Language:C++BSD-3-Clause39900

Damn_Vulnerable_C_Program

An example C program which contains vulnerable code for common types of vulnerabilities. It can be used to show fuzzing concepts.

Language:Rust64900

font-spider-plus

font-spider-plus（字蛛+）是一个智能 WebFont 压缩工具，它能自动分析出本地页面和线上页面使用的 WebFont 并进行按需压缩。

Language:JavaScriptMIT70400

font-spider

Smart webfont compression and format conversion tool

Language:JavaScriptMIT499000

github-markdown-css

The minimal amount of CSS to replicate the GitHub Markdown style

Language:CSSMIT781000

docker-docsify-pdf

Docker way to convert Docsify pages to PDF (with Puppeteer)

Language:JavaScript2200

crypto-detector

Cryptography detection tool

Language:PythonApache-2.014200

dosai

Dotnet Source and Assembly Inspector (Dosai) is a tool to list details about the namespaces and methods from sources and assemblies.

Language:C#Apache-2.0600

OpenTxl

TXL programming language compiler/interpreter

Language:TXLNOASSERTION1800

iaito

Official QT frontend of radare2

Language:C++GPL-3.096700

fuzzdb

Dictionary of attack patterns and primitives for black-box application fault injection and resource discovery.

Language:PHP806300

slsa

Supply-chain Levels for Software Artifacts

Language:ShellNOASSERTION149200

sqltest

📝 A comprehensive suite of SQL tests for testing the conformance of databases.

Language:PythonMIT4400

TestingSQLCompliance

A framework for testing SQL compliance of current DBMSs

Language:JavaGPL-3.0400

awesome-qt

A curated list of awesome tools, libraries, and resources for the Qt framework.

CC0-1.0137100

ui-ux-design-library

A collection of free eBooks and PDFs related to UI, UX and Interaction Design.

ant-application-security-testing-benchmark

xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".

Language:JavaApache-2.028600

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

Language:PythonApache-2.0215800