-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathstls.html
187 lines (155 loc) · 6.47 KB
/
stls.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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
<!DOCTYPE html>
<html>
<meta charset="UTF-8">
<head>
<base href="https://cs.unibuc.ro/~pirofti/" />
<title>Paul Irofti | Static Analysis</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<meta name="description" content="Static Analysis" />
<meta name="keywords" content="research,teaching,university
dictionary learning,sparse representations,
operating systems,security,
development,software,hardware,kernel,bsd,irofti,paul,c,
ruby,lisp,unix,shell,script,voip,security" />
</head>
<body style="font-family: monospace">
<div style="float:left; margin-top:50px">
<a style="text-decoration: none; font-size: x-large" href="index.html">
<b>Paul Irofti</b></a><br/><br/><br/>
<big><b>About me:</b></big> <br/>
<a href="resume/paul-irofti-cv-en.pdf">Resume</a>
(<a href="resume/paul-irofti-cv-ro.pdf">RO</a>)<br/>
<a href="publications.html">Publications</a><br/>
<a href="education.html">Education</a><br/>
<a href="secsem.html">Security Seminar</a><br/>
<a href="https://ilds.ro">ILDS</a><br/>
<a href="https://orcid.org/0000-0002-7541-4334" target="_blank">ORCID</a><br/>
<a href="https://scholar.google.ro/citations?user=yJZpIfgAAAAJ" target="_blank">Scholar</a><br/>
<a href="http://ro.linkedin.com/in/paulirofti" target="_blank">LinkedIn</a><br/>
<a href="https://github.com/pirofti" target="_blank">GitHub</a><br/>
<p/> <big><b>Grants:</b></big> <br/>
<a href="ddnet.html">DDNET</a><br/>
<a href="graphomaly.html">Graphomaly</a><br/>
<a href="netalert.html">NetAlert</a><br/>
<a href="legat.html">LEGAT</a><br/>
<a href="deddos.html">DeDDoS</a><br/>
<p/> <big><b>Teaching:</b></big> <br/>
<a href="so.html">Sisteme de Operare</a><br/>
<a href="uso.html">Utilizarea SO</a><br/>
<a href="osds.html">OS Security</a><br/>
<a href="va.html">Vedere Artificială</a><br/>
Static Analysis<br/>
<a href="ps.html">Prelucrarea Semnalelor</a><br/>
<a href="https://numeric.cs.unibuc.ro/cni.html">Calcul Numeric</a><br/>
<a href="https://numeric.cs.unibuc.ro/ad.html">Anomaly Detection</a><br/>
<p/> <big><b>Contact:</b></big> <br/>
<img src="images/email.png" alt="[E-mail address]" /><br/>
</div>
<div style="float:left; border-left: 5px solid black; vertical-align: top;
margin-left: 30px; margin-top: 50px; width: 700px">
<p style="margin-left: 20px; font-size: x-large;"/>
<b>Static Analysis</b></br>
<!-- p style="margin-left: 20px; font-size: large"/>
<b>Examene</b></br>
<p style="margin-left: 20px"/>
RESTANȚĂ MAI 2020
<p style="margin-left: 20px"/>
Metoda de examinare este aceeași ca și în sesiunea din februarie 2020,
dar studenții nu pot lucra în echipe.
Fiecare student trebuie să trimită trei referate,
câte unul pentru fiecare parte a cursului.
Teme pentru partea I. Teme pentru partea a II-a.
Pentru partea a III-a contactați-o pe Elena Burceanu (Bitdefender).
Va fi activată o modalitate de încarcare a prezentărilor,
iar prezentarea live se va face pe Google Meet.
Vor fi anunțate mai multe detalii.
<p style="margin-left: 20px; font-size: large"/>
Încărcați prezentările <a href="https://forms.gle/UeBCuRsWkPrc6exj7">aici</a>.
-->
<p style="margin-left: 20px; font-size: large"/>
<b>General Information</b></br>
<p style="margin-left: 20px"/>
Information about the course can be found in
<a href="stls/C0-Intro.pdf">the first set of slides</a>.
<p style="margin-left: 20px"/>
The course has two parts:
<p style="margin-left: 20px"/>
<ol style="list-style-type: upper-roman;">
<li>Specification and verification of security protocols.</li>
<li>Static Analysis.</li>
</ol>
<p style="margin-left: 20px"/>
The first part will be taught by
<a href="https://cs.unibuc.ro/~ileustean">Ioana Leuștean</a>.</br>
<p style="margin-left: 20px; font-size: large"/>
<b>Courses</b></br>
<p style="margin-left: 20px"/>
In the course we will work mainly on the blackboard, but we will use in parallel
the following slides.
<p style="margin-left: 20px"/>
<ol>
<li><a href="stls/C06-CFG.pdf">Dataflow Analysis</a></li>
<li><a href="stls/C07-ValRange.pdf">Variable and Memory Space Analysis</a></li>
<li><a href="stls/C08-AbstractDomains.pdf">Abstarct Domains</a></li>
<li><a href="stls/C09-DomainInteraction.pdf">Domain interaction</a></li>
<li><a href="stls/C10-ReducedProdAndWrapping.pdf">Reduced Product. Type Casting and Wrapping.</a></li>
</ol>
<p style="margin-left: 20px; font-size: large"/>
<b>Seminars and Laboratory</b></br>
<p style="margin-left: 20px"/>
At the seminar we will prove the theorems, lemmas and propositions presented at
the course and will also work out static analysis of specific programs.
<p style="margin-left: 20px"/>
At the lab you will need to implement and analyze simple C programs
using the following static analysis products.
<p style="margin-left: 20px"/>
<ol>
<li><a href="https://frama-c.com/">Frama-C</a></li>
<li><a href="https://clang-analyzer.llvm.org/">LLVM static analysis tools</a></li>
<li><a href="https://www.gnu.org/software/cflow/">cflow</a></li>
</ol>
<p style="margin-left: 20px"/>
<a href="stls/stls-spa-seminar.pdf">Seminar Exercises</a></li>
<!-- p style="margin-left: 20px; font-size: large"/>
<b>Projects</b></br>
<p style="margin-left: 20px"/>
Rules:
<p style="margin-left: 20px"/>
<ul>
<li> students can form teams of two
<li> two teams can not present the same project
<li> teams choose a project by filling a form that will be available online
<li> proposed projects are split into four categories A,B,C,D
</ul>
<p style="margin-left: 20px"/>
<a href="stls/stls-spa-projects.pdf">Projects List</a></li>
-->
<p style="margin-left: 20px; font-size: large"/>
<b>Bibliography</b></br>
<p style="margin-left: 20px"/>
<table>
<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="spa">1</a>]
</td>
<td class="bibtexitem">
A. Møller and M.I. Schwartzbach,
<em>Static Program Analysis</em>,
Department of Computer Science, Aarhus, 2018.
[ <a href="https://cs.au.dk/~amoeller/spa/">HTML</a> |
<a href="https://cs.au.dk/~amoeller/spa/spa.pdf">PDF</a> ]
<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="valrange">2</a>]
</td>
<td class="bibtexitem">
A. Simon,
<em>Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer
Overflow Vulnerabilities</em>,
Springer, 2010.
[ <a href="https://www.springer.com/gp/book/9781848000162">HTML</a> ]
</td>
</tr>
</table>
</body>
</html>