stevenvar/bytecrawler
1
4
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
WCET computing of OCaml bytecode (for microcontrollers)
51 commits 1 branch 0 tags 1.1 MiB
  • OCaml 75.6%
  • C 23.2%
  • Shell 0.8%
  • Makefile 0.4%
Find a file
Exact
Steven Varoumas ed4da92a64 fixes
2019-06-30 14:49:02 +02:00
bin structure 2019-06-22 22:38:52 +02:00
src fixes 2019-06-30 14:49:02 +02:00
tests fix the method for computing costs 2019-06-29 00:54:44 +02:00
wcet fixes 2019-06-30 14:49:02 +02:00
Makefile makefile 2019-06-22 22:26:34 +02:00
README.md readme update 2017-09-24 16:12:35 +02:00

README.md

bytecrawler

Bytecrawler is a tool that reads OCaml bytecode with some kind of very simple abstract intepreter, and associates for each of the visited bytecode instructions a WCET, thus computing a total WCET for the program by adding all of them. This WCET computation is done with the bound-t time and stack analyser for AVR microcontrollers.

This tool is intended for my own use for the moment, and is prone to various bugs.