Skip to content
View sheisc's full-sized avatar
95 followers · 0 following

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report sheisc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • CompilerTesting Public

    Difference Testing in GCC and Clang

    Python 1 Updated Mar 12, 2025

  • sheisc.github.io Public

    HTML Updated Mar 5, 2025

  • slides Public

    Updated Feb 24, 2025

  • COMP9024 Public

    Data Structures and Algorithms in C

    C 147 61 Updated Feb 22, 2025

  • osquery Public

    Forked from osquery/osquery

    SQL powered operating system instrumentation, monitoring, and analytics.

    C++ Other Updated Feb 9, 2025

  • FlashStack Public

    Practical Software-Based Shadow Stacks on x86-64

    Assembly 3 Updated Feb 6, 2025

  • TIPS Public

    TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers

    LLVM 1 1 Updated Feb 6, 2025

  • Malware Public

    Forked from objective-see/Malware

    macOS Malware Collection

    GNU General Public License v3.0 Updated Jan 31, 2025

  • ucc162.3 Public

    A lightweight open-source C compiler for research and education.

    C 397 139 Updated Jan 14, 2025

  • mem_smr Public

    A Linux Kernel Moudle to simulate the Shingle Translation Layer (STL) of SMR disks, with EXT2-aware ability

    C 1 Updated Jan 7, 2025

  • x-python Public

    Forked from rocky/x-python

    A Python implementation of the C Python Interpreter

    Python MIT License Updated Nov 26, 2023

  • SVF Public

    Forked from SVF-tools/SVF

    Static Value-Flow Analysis Framework for Source Code

    C++ Other Updated Jun 8, 2023

  • typm Public

    Forked from umnsec/typm
    C++ MIT License Updated May 19, 2023

  • SVF-doxygen Public

    Forked from SVF-tools/SVF-doxygen

    https://svf-tools.github.io/SVF-doxygen/html

    HTML Updated Mar 10, 2023

  • mlta Public

    Forked from umnsec/mlta

    TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets

    C++ MIT License Updated Feb 1, 2023

  • PolyFuzz Public

    Forked from awen-li/PolyFuzz

    Holistic Greybox Fuzzing of Multi-Language Systems

    C Apache License 2.0 Updated Oct 15, 2022

  • BuddyStack Public

    C Updated Aug 8, 2022

  • TypeConfusionDetector Public

    C++ GNU General Public License v3.0 Updated May 18, 2022

  • llvm-project Public

    Forked from llvm/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…

    Updated May 17, 2022

  • Goshawk Public

    Forked from Yunlongs/Goshawk

    Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behavi…

    C++ Updated May 16, 2022

  • Triton Public

    Forked from JonathanSalwan/Triton

    Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

    C++ Apache License 2.0 Updated May 12, 2022

  • BARRA Public

    Burn After Reading: A Shadow Stack with Microsecond-level Runtime Rerandomization for Protecting Return Addresses

    C 5 Updated May 10, 2022

  • PolyCruise Public

    Forked from awen-li/PolyCruise

    A Cross-Language Dynamic Information Flow Analysis.

    Python Updated Apr 3, 2022

  • source Public

    Forked from adelie-kaslr/source

    Adelie's source code

    C Other Updated Mar 2, 2022

  • symbiotic Public

    Forked from staticafi/symbiotic

    Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

    Python MIT License Updated Feb 16, 2022

  • dg Public

    Forked from mchalupa/dg

    [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

    C++ MIT License Updated Feb 10, 2022

  • python-jvm-interpreter Public

    Forked from gkbrk/python-jvm-interpreter

    Java Virtual Machine implementation in Python

    Python GNU Affero General Public License v3.0 Updated Jan 31, 2022

  • jerryscript Public

    Forked from jerryscript-project/jerryscript

    Ultra-lightweight JavaScript engine for the Internet of Things.

    C Apache License 2.0 Updated Jan 28, 2022

  • dukpy Public

    Forked from amol-/dukpy

    Simple JavaScript interpreter for Python

    JavaScript MIT License Updated Nov 23, 2021

  • DoubleX Public

    Forked from Aurore54F/DoubleX

    Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale

    Python GNU Affero General Public License v3.0 Updated Nov 23, 2021