-
Society School
- Hunan in China
-
00:55
(UTC +08:00) - https://blog.csdn.net/qq_37206105
Block or Report
Block or report canliture
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
klee Public
Forked from UnitTestBot/kleeKLEEF Symbolic Execution Engine
C++ Other UpdatedApr 8, 2024 -
Simple Public
Forked from SeaOfNodes/SimpleA Simple showcase for the Sea-of-Nodes compiler IR
Java Apache License 2.0 UpdatedMar 18, 2024 -
awesome-directed-fuzzing Public
Forked from strongcourage/awesome-directed-fuzzingA curated list of awesome directed fuzzing research papers
UpdatedMar 12, 2024 -
Creamplayer Public
Forked from Beadd/Creamplayer🎵 QQ Netease Music Downloader
Vue MIT License UpdatedFeb 23, 2024 -
SVF Public
Forked from SVF-tools/SVFStatic Value-Flow Analysis Framework for Source Code
C++ Other UpdatedFeb 20, 2024 -
-
fast Public
Forked from fast-sp-2023/fastPython GNU General Public License v2.0 UpdatedFeb 14, 2024 -
-
cs492-program-reasoning Public
Forked from prosyslab-classroom/cs424-program-reasoningPython UpdatedFeb 7, 2024 -
-
the-book-of-modern-cpp Public
Forked from lkimuk/the-book-of-modern-cppThe Book of Modern C++
Apache License 2.0 UpdatedJan 27, 2024 -
SparseIDEClient Public
Forked from kadirayk/SparseIDEClientJava GNU General Public License v3.0 UpdatedJan 17, 2024 -
pvslib Public
Forked from nasa/pvslibNASA PVS Library of Formal Developments
Common Lisp UpdatedJan 12, 2024 -
pharos Public
Forked from cmu-sei/pharosAutomated static analysis tools for binary programs
C++ Other UpdatedJan 8, 2024 -
JPlag Public
Forked from jplag/JPlagToken-Based Software Plagiarism Detection
Java GNU General Public License v3.0 UpdatedJan 4, 2024 -
course_compiler Public
Forked from hxuhack/course_compilerCourse Webpage of SOFT130061 Compiler Principles and Techniques @ Fudan University
HTML UpdatedDec 16, 2023 -
ecnu-sa-labs Public
Forked from ecnu-sa-labs/ecnu-sa-labsLab sessions for the software analysis course at East China Normal University.
C++ GNU General Public License v3.0 UpdatedDec 12, 2023 -
BinAbsInspector Public
Forked from KeenSecurityLab/BinAbsInspectorBinAbsInspector: Vulnerability Scanner for Binaries
Java GNU General Public License v3.0 UpdatedDec 12, 2023 -
NullAwayAnnotator Public
Forked from ucr-riple/NullAwayAnnotatorA tool to help adapting code bases to NullAway type system.
Java MIT License UpdatedDec 7, 2023 -
sparrow-cg Public
Forked from ZJU-Automated-Reasoning-Group/sparrowA static analyzer for building callgraphs of C/C++ programs
C++ UpdatedDec 6, 2023 -
-
crab Public
Forked from seahorn/crabA library for building abstract interpretation-based analyses
C++ Apache License 2.0 UpdatedDec 3, 2023 -
Awesome-Code-LLM Public
Forked from codefuse-ai/Awesome-Code-LLMA curated list of language modeling researches for code and related datasets.
UpdatedNov 27, 2023 -
ccscanner Public
Forked from lkpsg/ccscannerA C/C++ dependency scanner
CMake MIT License UpdatedNov 24, 2023 -
grammatech.github.io Public
Forked from GrammaTech/grammatech.github.ioGrammaTech Research on GitHub
TeX UpdatedNov 17, 2023 -
-
SparseBoomerang Public
Forked from secure-software-engineering/SparseBoomerangSparse Demand-Driven Pointer Analysis
Java Eclipse Public License 2.0 UpdatedNov 17, 2023 -
clash-verge Public
Forked from zzzgydi/clash-vergeA Clash GUI based on tauri. Supports Windows, macOS and Linux.
TypeScript UpdatedNov 3, 2023 -
linux-kernel-exploitation Public
Forked from xairy/linux-kernel-exploitationA collection of links related to Linux kernel security and exploitation
Creative Commons Attribution 4.0 International UpdatedNov 1, 2023 -
SootUp Public
Forked from soot-oss/SootUpA new version of Soot with a completely overhauled architecture
Java GNU Lesser General Public License v2.1 UpdatedOct 20, 2023