Два небольших доклада об инструментах статического анализа, основанных на Datalog.
DOOP
https://www.youtube.com/watch?v=FQRLB2xJC50
Soufflé
https://www.youtube.com/watch?v=Qp3zfM-JSx8
#analysis #datalog
Post #44
785
- Oct 10, 2025В наше время может сложиться впечатление, что компиляторы вне LLVM уже не создаются. Это,…
- Jun 16, 2025#видеозаписи Начинаем публиковать видео докладов sysconf 2025. Первым — выступление Петра…
- May 21, 2025Недавно удалось лично пообщаться с несколькими известными преподавателями разработки компи…
- Nov 26, 2024В ближайшее время в Москве пройдет три конференции, связанные с системным программирование…
- Sep 29, 2024Я и мой студент, Кирилл Павлов, опубликовали статью "Библиотека llvm2py для анализа промеж…
- Jul 23, 2024Первый интерпретатор просто использует эти функции напрямую для рекурсивного аннотирования…