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:

which contains more info links and a link to the software on github here:

Best regards,


Sent via pgsql-hackers mailing list (
To make changes to your subscription:

Reply via email to