posticarus Goto Github PK

advancedmemorychallenges

Advanced buffer overflow and memory corruption security challenges

afl-training

Exercises to learn how to fuzz with American Fuzzy Lop

anchore-engine

A service that analyzes docker images and applies user-defined acceptance policies to allow automated container image validation and certification

attacksurfaceanalyzer

Attack Surface Analyzer can help you analyze your operating system's security configuration for changes during software installation.

awesome-compilers

:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

awesome-static-analysis

A curated list of static analysis tools, linters and code quality checkers for various programming languages

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

binaryen

Optimizer and compiler/toolchain library for WebAssembly

c2rust

Migrate C code to Rust

cap-labs

Public files for ENSL M1 students (CAP course)

cbc-ubuntu-64bit

Cb (C flat) compiler. Cb is simplified C.

checkedc-clang

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

checksec.sh

Checksec.sh

cil

C Intermediate Language

clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

clang-cfi-bypass-techniques

Exploitation techniques to bypass Clang CFI when applied to Chromium

clang-cfi-safestack-analysis

clang-cfi-showcase

Sample programs that illustrate how to use control flow integrity with the clang compiler

clang-llvm-tutorial

clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...

clang-tutor

A collection of out-of-tree Clang plugins for teaching and learning

cling

The cling C++ interpreter

coco

This is the CoCo Virtual Machine Source Code.

codechecker

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

compilerbook-examples

Example code for compilers textbook.

confd

Manage local application configuration files using templates and data from etcd or consul

coreutils

Cross-platform Rust rewrite of the GNU coreutils

course_safepl

Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University

craftinginterpreters

Repository for the book "Crafting Interpreters"

crest

CREST is a concolic test generation tool for C.

crest-z3

CREST extension that supports non-linear arithmetic