filmov
tv
A Library Modeling Language for the Static Analysis of C Programs
Показать описание
Hi, I'm Abdelraouf Ouadjaout, postdoc at Sorbonne University. Our SAS'20 paper is on a language for modeling C library functions that we use in the Mopsa static analyzer.
A Library Modeling Language for the Static Analysis of C Programs
Paper DOI:
Presented at SAS 2020 - 27th Static Analysis Symposium, part of SPLASH 2020
By Abdelraouf Ouadjaout, Antoine Miné
A Library Modeling Language for the Static Analysis of C Programs
Paper DOI:
Presented at SAS 2020 - 27th Static Analysis Symposium, part of SPLASH 2020
By Abdelraouf Ouadjaout, Antoine Miné
0:18:53
1:41:31
0:05:34
0:04:52
1:41:38
0:32:10
0:26:56
0:21:34
0:32:24
0:08:44
0:02:15
0:01:58
0:15:46
0:20:10
0:16:41
0:00:34
0:07:23
0:12:02
0:10:19
1:08:53
0:10:32
0:14:42
0:03:51
0:18:46