---
Type: desktop-application
ID: org.storm_lang.progvis
Package: progvis
Name:
C: Progvis
Summary:
C: Program visualization tool for concurrent C/C++ programs
Description:
C: >-
<p>
Progvis is a program visualization tool for concurrent programs written in a subset of C (and
parts of C++). The detailed visualization of many details of C programs makes it useful to
visualize sequential programs as well.
</p>
<p>Features of Progvis include:</p>
<ul>
<li>Visualization of C and C++ programs</li>
<li>Exploring different interleavings to find errors</li>
<li>Automatic detection of many common errors in small programs</li>
</ul>
ProjectLicense: LGPL-2.1
Categories:
- Education
Url:
homepage: https://storm-lang.org/progvis.php
Icon:
cached:
- name: progvis_org.storm_lang.progvis.png
width: 48
height: 48
- name: progvis_org.storm_lang.progvis.png
width: 64
height: 64
- name: progvis_org.storm_lang.progvis.png
width: 128
height: 128
remote:
- url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/icons/128x128/progvis_org.storm_lang.progvis.png
width: 128
height: 128
stock: org.storm_lang.progvis
Launchable:
desktop-id:
- org.storm_lang.progvis.desktop
Provides:
binaries:
- /usr/bin/progvis
Screenshots:
- default: true
caption:
C: Progvis visualizing a concurrent program with three threads
thumbnails:
- url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/screenshots/image-1_752x486.png
width: 752
height: 486
- url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/screenshots/image-1_624x403.png
width: 624
height: 403
- url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/screenshots/image-1_224x144.png
width: 224
height: 144
source-image:
url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/screenshots/image-1_orig.png
width: 1138
height: 736
- caption:
C: Progvis visualizing pointer arithmetics in a single threaded program
thumbnails:
- url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/screenshots/image-2_752x486.png
width: 752
height: 486
- url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/screenshots/image-2_624x403.png
width: 624
height: 403
- url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/screenshots/image-2_224x144.png
width: 224
height: 144
source-image:
url: org/storm_lang/progvis/a20d64b6ac1662916c8f14e14ff09ef6/screenshots/image-2_orig.png
width: 1138
height: 736