This repository has been archived by the owner on May 19, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
49 lines (49 loc) · 2.63 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="icon" type="image/png" href="images/goblint_icon.png" />
<title>Goblint</title>
<link href="gobstyle.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="wrap">
<div id="head">
<div id="inst_logo">
<a href="http://www.cs.ut.ee/eng"><img src="images/TartuLogo.png" alt="Tartu Logo" width="27" height="40" /></a>
<a href="http://www.in.tum.de/en.html"><img src="images/TUMLogo.png" alt="TUM Logo" width="79" height="40" /></a>
</div>
<a href="index.html"><img src="images/goblint.png" alt="Goblint" width="225" height="37" id="goblint" /></a>
<ul id="navbar">
<li><a href="download.html">Download</a></li>
<li><a href="intro.html">Overview</a></li>
<li><a href="docs.html">Papers</a></li>
</ul>
</div>
<div id="container">
<h2>The Goblint Analyzer</h2>
<p>Goblint is a static analyzer for multi-threaded C programs, focusing primarily on data race detection. Goblint is developed at the Technische Universität München (<a href="http://www2.in.tum.de">Helmut Seidl</a>) and University of Tartu (<a href="http://www.cs.ut.ee/~varmo">Varmo Vene</a>). It is distributed under the MIT license. </p>
<h3>Getting Started</h3>
<p>Find the source code and installation instructions on our <a href="https://github.com/goblint/analyzer">GitHub repository</a>.
<h3>Support</h3>
<p> For bug reports, please refer to our <a href="https://github.com/goblint/analyzer">repository pages on GitHub</a>. Feel free to send <a href="http://www.ut.ee/~vesal">Vesal Vojdani</a> an e-mail if you need assistance in installing and using the system.</p>
<h3>Citing Goblint</h3>
<p>For generic references to Goblint as a race detection tool,
please cite <a href="https://dl.acm.org/citation.cfm?id=2970337">this paper</a>:
<pre>
@inproceedings{Goblint2016,
author = {Vesal Vojdani and Kalmer Apinis and Vootele R{\~{o}}tov and
Helmut Seidl and Varmo Vene and Ralf Vogler},
title = {Static race detection for device drivers: the Goblint approach},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on
Automated Software Engineering, {ASE} 2016},
pages = {391--402},
publisher = {{ACM}},
year = {2016},
doi = {10.1145/2970276.2970337}
}</pre>
</div>
</div>
</body>
</html>