Chenguang-Zhu
Follow
Highlights
- Pro
-
sapientml Public
Forked from sapientml/sapientmlGenerative AutoML for Tabular Data
Python Apache License 2.0 UpdatedOct 5, 2023 -
-
LinearArbitrary-SeaHorn Public
Forked from GaloisInc/LinearArbitrary-SeaHornLinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
C Other UpdatedMar 13, 2023 -
Fixit Public
Forked from Instagram/FixitFixit is a Python Lint Framework based on LibCST. It comes with useful default lint rules for coding convention, performance and security issues. It makes custom lint rule easy to build, test and c…
Python Other UpdatedFeb 9, 2023 -
DocCon Public
DocCon is an automated tool for identifying Solidity smart contract API documentation errors
-
LibCST Public
Forked from Instagram/LibCSTA concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree
Python Other UpdatedJul 8, 2022 -
ODRepair Public
Forked from UT-SE-Research/ODRepairscripts to run ODRepair
Java UpdatedApr 11, 2022 -
-
-
-
DoSC Public
DoSC is a dataset for benchmarking software analysis techniques that dynamically discover semantic changes.
-
CSlicer Public
Forked from ntu-SRSLab/CSlicerHome of the semantic history slicing algorithms: CSLICER and DEFINER.
Java Apache License 2.0 UpdatedJun 4, 2021 -
icsme20-artifacts-and-rose Public
Forked from se-conf/icsme20-artifacts-and-roseROSE festival and artifact evaluation for ICSME-2020
UpdatedSep 2, 2020 -
-
demo Public
Scripts and configuration files for running CSlicer and Definer on DoSC benchmarks
-
rv-monitor Public
Forked from runtimeverification/rv-monitorRV-Monitor core system code
Java Other UpdatedOct 2, 2017 -
commons-csv Public
Forked from apache/commons-csvMirror of Apache Commons CSV
Java Apache License 2.0 UpdatedAug 18, 2017 -
seahorn Public
Forked from seahorn/seahornSeaHorn Verification Framework
C++ Other UpdatedJul 1, 2017 -
-
ICE-C5 Public
Comparison between open source C5.0 code and ICE-C5.0 code