chao-peng

SIF

Solidity code instrumentation and analysis framework.

CLFuzz

ST_Coursework1819

CLTestCheck

A framework to measure test effectiveness for GPU kernels.

mutec

An automated mutation testing tool for C

android-platforms

A collection of all android.jar files for the different platform versions.

awesome-ethereum-security

A curated list of awesome Ethereum security references

awesome-solidity

:small_blue_diamond: A curated list of awesome Solidity resources, libraries, tools and more

cl2c

clcov

OpenCL code coverage testing tool.

CLFuzzer

clinfo

Print all known information about all available OpenCL platforms and devices in the system

clmt

OpenCL mutation testing tool

computecpp-sdk

Collection of samples and utilities for using ComputeCpp, Codeplay's beta SYCL implementation

ContractFuzzer

The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)

cpp-ethereum

Ethereum C++ client

droidmate

DroidMate-2: A Platform for Android Test Generation

heros

IFDS/IDE Solver for Soot

klee

KLEE Symbolic Execution Engine

lljvm

Low Level Java Virtual Machine

MacTeX-zh-support-template

MacTeX is All You Need.

Oclgrind

An OpenCL device simulator and debugger

openclbc

Opencl kernel code coverage checker

pocl

pocl - Portable Computing Language

Python

My Python Examples

resume

个人中文简历 Latex 源码 https://hijiangtao.github.io/

Simulee

SmartFlow

FlowDroid Static Data Flow Tracker

soot

Soot - A Java optimization framework

Vulkan

Examples and demos for the new Vulkan API