Lists (7)
Starred repositories
66
stars
written in C++
Clear filter
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
A library for efficient similarity search and clustering of dense vectors.
SQL powered operating system instrumentation, monitoring, and analytics.
Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.
Multipass orchestrates virtual Ubuntu instances
RetDec is a retargetable machine-code decompiler based on LLVM.
Qt编写的一些开源的demo，预计会有100多个，一直持续更新完善，代码简洁易懂注释详细，每个都是独立项目，非常适合初学者，代码随意传播使用，拒绝打赏和捐赠，欢迎留言评论！公众号：Qt实战/Qt入门和进阶/Qt教程
云探针、多服务器探针、云监控、多服务器云监控，演示： https://tz.cloudcpp.com/
A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
A collection of out-of-tree LLVM passes for teaching and learning
Static Value-Flow Analysis Framework for Source Code
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
A LLVM-based static analysis framework.
Open source 5G UE and RAN (gNodeB) implementation.
A code-understanding, code-browsing or code-search tool. This is a tool to index, then query or search C, C++, Java, Python, Ruby, Go and Javascript source code. It builds upon the databases of csc…
A work-in-progress deobfuscator for movfuscated binaries
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Simple Theorem Prover, an efficient SMT solver for bitvectors
S2E: A platform for multi-path program analysis with selective symbolic execution.