Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/agra-uni-bremen/symsysc-experiments

Experiments and DUTs for SymSysC repo

https://github.com/agra-uni-bremen/symsysc-experiments

Science Score: 26.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (6.6%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

Experiments and DUTs for SymSysC repo

Basic Info
  • Host: GitHub
  • Owner: agra-uni-bremen
  • Language: C++
  • Default Branch: master
  • Size: 196 KB
Statistics
  • Stars: 0
  • Watchers: 8
  • Forks: 1
  • Open Issues: 0
  • Releases: 0
Created almost 4 years ago · Last pushed about 1 year ago
Metadata Files
Readme

Readme.md

Symbolic Execution of SystemC Peripherals

This repository contains the testbenches used for evaluating three approaches targeting the symbolic execution of SystemC peripherals. CrosSym and SymSysC are designed aroung a minikernel replacing (parts of) the SystemC kernel. SymSysC only supports TLM peripherals, while CrosSym supports TLM and RTL peripherals. SEFOS supports the unmodified SystemC peripherals and kernel, which is realised by modifying KLEE, the modern state-of-the-art symbolic execution engine.

How to test:

bash $ ./make.sh # optional $ ./run_all_tests.sh

How to run Dockerimage

bash make docker-build make docker

How to use Dockerimage

bash ./make.sh ./source/run_all_tests.sh

How to verilate

bash verilator --Mdir hash --sc -LDFLAGS -Wno-attributes -Wno-WIDTH -Wno-UNOPTFLAT -Wno-CMPCONST -Wno-UNSIGNED peripherals/SBTaskHash.v

Bugfixes

ASan Shadow Memory Range error

If the Shadow memory range interleaves with an existing memory mapping. ASan cannot proceed correctly. ABORTING error occurs, it might be worth checking with sudo cat /proc/sys/vm/mmap_rnd_bits if the system works with entropy greater than 28 bits. In that case, run sudo sysctl vp.mmap_rnd_bits=28 to set to 28 bits entropy (see here). Important: run on host system, not in the docker container. This problem is fixed for LLVM 17.0.0, however the Docker file uses LLVM 11.

Owner

  • Name: agra-uni-bremen
  • Login: agra-uni-bremen
  • Kind: organization

GitHub Events

Total
  • Push event: 3
Last Year
  • Push event: 3

Issues and Pull Requests

Last synced: 10 months ago

All Time
  • Total issues: 0
  • Total pull requests: 2
  • Average time to close issues: N/A
  • Average time to close pull requests: 10 months
  • Total issue authors: 0
  • Total pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 1.0
  • Merged pull requests: 2
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Issue authors: 0
  • Pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
  • rudkowsk (2)
Top Labels
Issue Labels
Pull Request Labels

Dependencies

Dockerfile docker
  • klee/klee latest build