foxdd Goto Github PK

antlr4

The highly-optimized fork of ANTLR 4 (see README)

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

bk-ci

蓝鲸CI平台(BlueKing CI)

bk-turbo

蓝鲸编译加速平台，提供底层编译加速解决方案

checker-framework

Pluggable type-checking for Java

clang-v13

Go bindings for Clang's C API v13

cppcheck

static analysis of C/C++ code

devops-framework

devops boot framework

distcc

distributed builds for C, C++ and Objective C

dubbo_consumer

dubbo_provider

dubbo_repository

java-smt

JavaSMT - Unified Java API for SMT solvers.

jdart

A dynamic symbolic analysis tool for Java

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

llvm

LLVM bindings for the Go programming language

llvm-1

Library for interacting with LLVM IR in pure Go.

llvm-ir-tutorial

LLVM IR入门指南

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

lorne_core

核心库

pathsensitivedataanalysis

pysonar2

PySonar2: an advanced semantic indexer for Python

scc

Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

signup

Information about signing up for a free Epic Games account

spring-cloud-rest-tcc

基于Spring Cloud Netflix的TCC柔性事务和EDA事件驱动示例，结合Spring Cloud Sleuth进行会话追踪和Spring Boot Admin的健康监控，并辅以Hystrix Dashboard提供近实时的熔断监控

springcloud-lcn-demo

LCN springcloud demo

springcloud-lcn-demo-1

LCN分布式事务框架v4.0 springcloud-lcn-demo

static-program-analysis-book

Getting started with static program analysis. 静态程序分析入门教程。

svf

Static Value-Flow Analysis Framework for Source Code