Giters
zhixing-xu

zhixing-xu

User data from Github https://github.com/zhixing-xu

4

followers

11

following

30

stars

GitHub:@zhixing-xu

zhixing-xu's repositories

amazon-freertos

Cloud-native IoT operating system for microcontrollers.

Language:CLicense:MITStargazers:0Issues:0Issues:0

cbmc

C Bounded Model Checker

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

cpp-project-template

CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygen

Language:CMakeLicense:MITStargazers:0Issues:1Issues:0

cprover-sv-comp

CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

Language:PHPStargazers:0Issues:0Issues:0

hope-RIPE

A port of the RIPE suite to RISC-V.

Language:CLicense:MITStargazers:0Issues:0Issues:0

ILAng

A Modeling and Verification Platform for SoCs using ILAs

Language:C++License:MITStargazers:0Issues:0Issues:0

ScoutSuite

Multi-Cloud Security Auditing Tool

Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0