kc-ml2 / socket-stoke

STOKE: A stochastic superoptimizer and program synthesizer

Home Page:http://stoke.stanford.edu

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Socket Stoke

Socket Stoke is a modified version of STOKE that utilizes socket communication to interact with a Python server. It facilitates the transmission of CPU state and assembly information to a Python server named StokeGym. To get started with Socket Stoke, refer to the environment setup instructions provided in the StokeGym repository.

About

STOKE: A stochastic superoptimizer and program synthesizer

http://stoke.stanford.edu

License:Apache License 2.0


Languages

Language:C++ 72.7%Language:C 9.7%Language:Assembly 5.5%Language:Shell 4.2%Language:Perl 3.4%Language:Python 2.4%Language:Makefile 1.1%Language:NASL 0.4%Language:M4 0.2%Language:CMake 0.2%Language:HTML 0.1%Language:Dockerfile 0.0%