cascades-sjtu
Program Analysis | CTFer in Ph0t1n1a | incoming Ph.D. student at HKUST
Shanghai Jiao Tong UniversityShanghai
Pinned Repositories
CCF-CSP
Solutions and instructions for CCF-CSP mocking test
FirmVulHub
Firmware Vulnerabilities Detection System
Goshawk-tutorial
Tutorial of https://github.com/Yunlongs/Goshawk, which is a static analyze tool to detect memory corruption bugs in C source codes.
HarmonyOSCamp
HarmonyOS-SJTU training camp course sources
MyBlockchain
simple blockchain simulation
nand2tetris
solutions for nand2tetris course
nis7021-labs
Homepage for SJTU NIS7021 labs documentation
play_with_ask
Using GNU Radio and HackRF One to Receive, Analyze and Send ASK/OOK signals
SJTUBeamer
上海交通大学 Beamer 模版 | Beamer template for Shanghai Jiao Tong University
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 behaviors and then adopts these summaries to enhace bug detection.
cascades-sjtu's Repositories
cascades-sjtu/nis7021-labs
Homepage for SJTU NIS7021 labs documentation
cascades-sjtu/CCF-CSP
Solutions and instructions for CCF-CSP mocking test
cascades-sjtu/nand2tetris
solutions for nand2tetris course
cascades-sjtu/play_with_ask
Using GNU Radio and HackRF One to Receive, Analyze and Send ASK/OOK signals
cascades-sjtu/cascades-sjtu
github profile
cascades-sjtu/smms-cli
A command line HTTP client of https://sm.ms
cascades-sjtu/C-Plus-Plus
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
cascades-sjtu/cascades-sjtu.github.io
My personal website
cascades-sjtu/CS110L
My solutions of CS 110L: Safety in Systems Programming
cascades-sjtu/popl2020-tutorial
Tutorial for Building Program Reasoning Tools using LLVM and Z3
cascades-sjtu/top4grep
find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
cascades-sjtu/voxel-challenge
cascades-sjtu/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 behaviors and then adopts these summaries to enhace bug detection.
cascades-sjtu/Goshawk-tutorial
Tutorial of https://github.com/Yunlongs/Goshawk, which is a static analyze tool to detect memory corruption bugs in C source codes.
cascades-sjtu/awesome-llvm-security
awesome llvm security [Welcome to PR]
cascades-sjtu/ctf-wiki
Come and join us, we need you!
cascades-sjtu/CV
Curriculum Vitae written in Typst
cascades-sjtu/cwe_checker
cwe_checker finds vulnerable patterns in binary executables
cascades-sjtu/docker_ghidra_headless_base
base docker image for ghidra headless scripting
cascades-sjtu/FACT_core
Firmware Analysis and Comparison Tool
cascades-sjtu/infer
A static analyzer for Java, C, C++, and Objective-C
cascades-sjtu/learn-assembly-on-Apple-Silicon-Mac
在 Apple Silicon Mac 上入门汇编语言
cascades-sjtu/Learning-C
A series of mini-projects used to learn C for beginners
cascades-sjtu/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.
cascades-sjtu/Pake
🤱🏻 很简单的用 Rust 打包网页生成很小的 Mac App 🤱🏻 A simple way to package a web page with Rust to create Mac App.
cascades-sjtu/PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
cascades-sjtu/rCore-Tutorial-v3
Let's write an OS which can run on RISC-V in Rust from scratch!
cascades-sjtu/rustlings
My solutions of rustlings
cascades-sjtu/taichi_dem
DEM Code Optimization Challenge: https://forum.taichi.graphics/t/topic/2975
cascades-sjtu/vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.