-
-
bap Public
Forked from BinaryAnalysisPlatform/bapBinary Analysis Platform
OCaml MIT License UpdatedSep 8, 2023 -
jdbl Public
Forked from ASSERT-KTH/jdblJDBL automatically removes unnecessary bytecode from Java applications through dynamic analysis https://dl.acm.org/doi/abs/10.1145/3546948
Java MIT License UpdatedAug 15, 2023 -
instrew Public
Forked from aengelke/instrewA high performance LLVM-based dynamic binary instrumentation framework
-
mbr-exec Public
Forked from facebookresearch/mbr-execcode for "Natural Language to Code Translation with Execution"
Python MIT License UpdatedNov 2, 2022 -
A Dynamic Binary Instrumentation framework based on LLVM.
C++ Other UpdatedJun 3, 2022 -
awesome-ebpf Public
Forked from zoidyzoidzoid/awesome-ebpfA curated list of awesome projects related to eBPF.
Creative Commons Zero v1.0 Universal UpdatedApr 22, 2022 -
SF-zh Public
Forked from Coq-zh/SF-zh《软件基础》中译版 Software Foundations Chinese Translation
HTML UpdatedMar 14, 2022 -
giraph Public
Forked from apache/giraphMirror of Apache Giraph
Java Apache License 2.0 UpdatedMar 5, 2022 -
SanRazor Public
Forked from SanRazor-repo/SanRazorSanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
C Apache License 2.0 UpdatedJun 6, 2021 -
-
duster Public
Forked from StardustOS/dusterSmall debugger for C-based PV Unikernels that run on Xen
Go UpdatedNov 25, 2020 -
MSRC-Security-Research Public
Forked from microsoft/MSRC-Security-ResearchSecurity Research from the Microsoft Security Response Center (MSRC)
Creative Commons Attribution 4.0 International UpdatedAug 6, 2020 -
-
-
droidbox Public
Forked from pjlantz/droidboxDynamic analysis of Android apps
Python UpdatedMay 7, 2020 -
solidity-coverage Public
Forked from sc-forks/solidity-coverageCode coverage for Solidity smart-contracts
JavaScript MIT License UpdatedApr 10, 2020 -
pldi19-equivalence-checker Public
Forked from bchurchill/pldi19-equivalence-checkerSource code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
C++ Apache License 2.0 UpdatedApr 2, 2020 -
ptm2human Public
Forked from hwangcc23/ptm2humanARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Trace Macrocell (ETMv4).
C GNU General Public License v2.0 UpdatedJan 27, 2020 -
differential-datalog Public
Forked from vmware-archive/differential-datalogAn in-memory incremental Datalog engine based on Differential Dataflow
Rust MIT License UpdatedDec 19, 2019 -
include-what-you-use Public
Forked from include-what-you-use/include-what-you-useA tool for use with clang to analyze #includes in C and C++ source files
C++ Other UpdatedAug 16, 2019 -
libipt Public
Forked from intel/libiptlibipt - an Intel(R) Processor Trace decoder library
C BSD 3-Clause "New" or "Revised" License UpdatedAug 13, 2019 -
whole-program-llvm Public
Forked from travitch/whole-program-llvmA wrapper script to build whole-program LLVM bitcode files
Python MIT License UpdatedJun 11, 2019 -
scRNA-tools Public
Forked from scRNA-tools/scRNA-toolsTable of software for the analysis of single-cell RNA-seq data.
R MIT License UpdatedMay 23, 2019 -
-
GNNPapers Public
Forked from thunlp/GNNPapersMust-read papers on graph neural networks (GNN)
UpdatedFeb 18, 2019 -
libart Public
Forked from armon/libartAdaptive Radix Trees implemented in C
C Other UpdatedFeb 9, 2019 -
incubator-retired-quickstep Public
Forked from apache/incubator-retired-quickstepApache Quickstep Incubator - This project is retired
C++ Apache License 2.0 UpdatedDec 5, 2018 -
part Public
Forked from ankurdave/partPersistent Adaptive Radix Trees in Java
Java Other UpdatedOct 1, 2018 -
PowerGraph Public
Forked from jegonzal/PowerGraphPowerGraph: A framework for large-scale machine learning and graph computation.
C++ UpdatedAug 10, 2018
{{ message }}