pskrgag

pskrgag's Stars

• ossu/computer-science

  🎓 Path to a free self-taught education in Computer Science!

  174k5.8k64521.9k

• nvbn/thefuck

  Magnificent app which corrects your previous console command.

  Language:Python87.8k8327383.5k

• ValdikSS/GoodbyeDPI

  GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)

  Language:C25.9k4636741.9k

• semgrep/semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  Language:OCaml10.8k1043k636

• DoctorWkt/acwj

  A Compiler Writing Journey

  Language:C10.7k214501k

• google/bloaty

  Bloaty: a size profiler for binaries

  Language:C++4.8k81166348

• chipsec/chipsec

  Platform Security Assessment Framework

  Language:Python3k192447589

• Ericsson/codechecker

  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

  Language:Python2.3k531.4k383

• BinaryAnalysisPlatform/bap

  Binary Analysis Platform

  Language:OCaml2.1k93493273

• csmith-project/creduce

  C-Reduce, a C and C++ program reducer

  Language:C++1.5k44164129

• ksluckow/awesome-symbolic-execution

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

  1.3k636138

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.3k2548676

• brutal-org/brutal

  🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

  Language:C1.1k291542

• 0burak/imperial_hft

  Language:C++774142107

• gmh5225/awesome-llvm-security

  awesome llvm security [Welcome to PR]

  66027082

• sampsyo/bril

  an educational compiler intermediate representation

  Language:Rust5811451241

• llsoftsec/llsoftsecbook

  Low-Level Software Security for Compiler Developers

  Language:TeX532208252

• arighi/virtme-ng

  Quickly build and run kernels inside a virtualized snapshot of your live system

  Language:Python478146051

• google/llvm-propeller

  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker

  Language:C++382161636

• sysprog21/concurrent-programs

  Complementary Concurrency Programs for course "Linux Kernel Internals"

  Language:C36826079

• GrammaTech/gtirb

  Intermediate Representation for Binary analysis and transformation

  Language:C++317294038

• google/gwpsan

  GWPSan: Sampling-Based Sanitizer Framework

  Language:C++3111129

• xr0-org/xr0

  The Xr0 Verifier for C

  Language:C1773684

• haoNoQ/clang-analyzer-guide

  An easy guide to Clang Static Analyzer extension.

  Language:TeX1388322

• antonblanchard/will-it-scale

  Language:C6812536

• libtea/frameworks

  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser

  Language:C604318

• yshalabi/covert-channel-tutorial

  Hands on with side-channels: a tutorial on covert-channels built using shared CPU resources. Three different covert-channel implementations based on Flush+Reload and Prime+Probe (L1, LLC) side-channels. Also, some tools and libraries.

  Language:C421211

• cla7aye15I4nd/CAMP

  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd/shadowbound next door! 🌟😊

  Language:C++38333

• trailofbits/vast-checker

  Language:MLIR24303

• chrisbazley/strb_t

  A new type and functions to manage strings, as proposed in WG14 papers N3250, N3296 and N3306. Its goal is to eliminate a source of many common programmer errors. The new interface is designed to be as familiar and ergonomic as possible.

  Language:C611