soundiness soundiness.github.io issues - Githubissues

soundiness / soundiness.github.io

10 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Remove buffer overrun from unsoundly modeled semantics

#10 adriaanjacobs opened 1 year ago
3
Add relative pointers to unsoundly modeled C/C++ features

#9 adriaanjacobs closed 1 year ago
2
Adding relative pointers to the list of C/C++ unsound behaviors

#8 adriaanjacobs opened 1 year ago
1
Add an ECOOP'16 paper

#7 yuelee closed 7 years ago
0
Add TSE'13 paper

#6 gustavoasoares closed 8 years ago
0
Fix a reference and add another one.

#5 wuestholz closed 8 years ago
0
Add TSE'13 paper

#4 gustavoasoares closed 8 years ago
1
Add a CC'05 paper

#3 yuelee closed 8 years ago
0
Add a SAS'15 paper

#2 yuelee closed 9 years ago
2
a SAS'15 paper

#1 yuelee closed 8 years ago
2