Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
3rdparty Added logging 4matlab as a submodule Jun 26, 2018
crash Fixed bug in ee_post.c code which was calling main() function of csmi… Nov 24, 2015
errors Checksum comparing based on gcc optimization flags is working. Oct 30, 2015
logs Added some manually found interesting models Mar 31, 2016
slsf Refactored GitHub fectching code by moving it to a new package Jul 6, 2018
.gitignore Working with strongly connected components Oct 20, 2017
.gitmodules Added logging 4matlab as a submodule Jun 26, 2018
ee_pre.c Adding sfunction variables into csmith checksum generation process Nov 7, 2015 Readme updated for CyFuzz submission Jul 18, 2016
randgen_start.c Support added for multiple main-like functions Dec 16, 2015
staticmexfun.c Introduced real s-function and a static model to call randgen.c Oct 25, 2015

SLforge: Automatically Finding Bugs in a Commercial Cyber-Physical Systems Development Tool

Welcome to the SLforge project! Check out our homepage for latest news, running the tools and to contribute.

CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments

SLforge is developed extending CyFuzz's code base, which is still availale in the cyfuzz-experiments branch.


This material is based upon work supported by the National Science Foundation under Grants No. 1117369, 1464311, and 1527398. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.