GitHub - au-ts/heptane: Heptane, a tool for worst-case execution time analysis. This is the Trustworthy Systems fork with enhanced functionality to support WCET analysis of seL4 MCS on 64-bit RISC-V, developed as part of the PISTIs-V Project under the Ecosystem formally verifiable IT – Provable cybersecurity (EvIT) program.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
benchmarks		benchmarks
data		data
doc		doc
scripts		scripts
src		src
tools		tools
.gitattributes		.gitattributes
.gitignore		.gitignore
COPYING.txt		COPYING.txt
CREDITS.txt		CREDITS.txt
README		README
install.sh		install.sh

Repository files navigation

Contents:
------------

- src: source code of Heptane (extraction of control flow graphs +
  WCET estimation tool itself, management of control flow graphs)

- benchmarks: some pre-compiled benchmarks to run Heptane. 
  Subset of the Mälardalen WCET Benchmarks,
  http://www.mrtc.mdh.se/projects/wcet/benchmarks.html

- doc: basic documentation to install and use Heptane

- install.sh: installation script (the configuration and installation
  parameters have to be set up before running the script)

- tools: cross-compiler toolchain + salto tool (salto is an assembly
  manipulation library used to extract CFGs) + cache simulator

How to install all this?
------------------------

See html file index.html in directory doc on how to use the
install.sh script

About

Heptane, a tool for worst-case execution time analysis. This is the Trustworthy Systems fork with enhanced functionality to support WCET analysis of seL4 MCS on 64-bit RISC-V, developed as part of the PISTIs-V Project under the Ecosystem formally verifiable IT – Provable cybersecurity (EvIT) program.

Readme

GPL-3.0 license