bitcalc Goto Github PK

log4js

Log4js - The Logging Framework for JavaScript

manim

Animation engine for explanatory math videos

meta-sca

Layer for static code analysis and security hardening

mutation-summary

A JavaScript library that makes observing changes to the DOM easy

npm-miner

Static code analysis of the npm registry

openpgpjs

OpenPGP implementation for JavaScript

osv

Open source vulnerability DB and triage service.

overcg

Generate call graph of c program from its corresponding LLVM IR

paper-push-down-for-free-prototype

pinduoduo_backdoor

拼多多apk内嵌提权代码，及动态下发dex分析

pinduoduo_backdoor_detailed_report

Maybe the most detailed analysis of pdd backdoors

project

Overall project configuration and documentation

ptaben

Micro-benchmark Suite for Pointer Analysis

pure

A set of small, responsive CSS modules that you can use in every web project.

pushdownoo

pyre-check

Performant type-checking for python.

safe

Scalable Analysis Framework for ECMAScript

safercplusplus

A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types. http://duneroadrunner.github.io/SaferCPlusPlus/

saw-script

The SAW scripting language.

scala-am

(Abstract) Abstract Machine Experiments using Scala

seahorn

SeaHorn Verification Framework

security-advisories

Security advisories for Node.js and the JavaScript ecosystem.

security-wg

Node.js Ecosystem Security Working Group

signature-inference

Implementation of our CGO 2014 paper.

smack

SMACK Software Verifier and Verification Toolchain

snyk

CLI and build-time tool to find & fix known vulnerabilities in open-source dependencies

software-analysis-benchmark

Benchmark Software for Evaluation of Software Analysis Tools

soot

Soot - A Java optimization framework

sv-benchmarks

Collection of Verification Tasks

svf

Pointer Analysis and Program Dependence Analysis for C and C++ Programs