Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)

Поиск
Список
Период
Сортировка
От Tom Browder
Тема Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)
Дата
Msg-id CAFMGiz-f7LM6wj3NwFcO=mmuGP13xdGu4PBCJY7XPaYZCzVAcQ@mail.gmail.com
обсуждение исходный текст
Ответы Re: Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)  (Tomas Vondra <tomas.vondra@2ndquadrant.com>)
Список pgsql-hackers
Дерево обсуждения 
Interesting article in latest issue of subject titled:
 "A Differential Approach to Undefined Behavior Detection"

which may describe procedures not used in other static analysis programs.

Article references the authors' website here:
 http://css.csail.mit.edu/stack

which contains more info links and a link to the software on github here:
 https://github.com/xiw/stack

Best regards,

-Tom

В списке pgsql-hackers по дате отправления:

Предыдущее
От: Dilip Kumar
Дата:
Сообщение: Re: Move PinBuffer and UnpinBuffer to atomics
Следующее
От: Tomas Vondra
Дата:
Сообщение: Re: Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)