We’re happy to announce the availability of Panopticon 0.16! This milestone took longer than anticipated, but it sure is worth the wait. The improvements coming with 0.16 are less with code base and more with supporting parts:
ReadAt the 5th Systems Software Verification Workshop in 2010, Sinz, Falke and Merz presented1 a model for encoding memory reads and writes as SMT formulas. The model is applied to programs in the LLVM language and allows checking for certain memory protection issues. The goal is to use Bounded Model Checking to find memory protection bugs in C/C++ code. The model has been implemented in a tool called LLBMC.
ReadNo joke, Panopticon version 0.14 is done! With an impressive delay of 4 weeks past the deadline we finally finished the Crematoria milestone.
ReadWe are happy to announce the availability of Panopticon 0.13! This version an important step towards the our goal of making static analysis accessible for reverse engineers.
ReadToday we finally finished the 0.12 version of Panopticon code named “Pentridge”. Starting with this version we accelerated the release cycle to one milestone every 6 weeks. Instead of dragging on for a year before releasing something usable.
ReadAfter 7 months of development version 0.9 – code name “Stammheim” – is ready. The whole code base underwent throughout change and the front end has been rewritten from scratch using Qt5. The new Panopticon looks better, is faster and more correct. Since August 2014 we added more than 100 unit tests that exposed various bugs in the library.
Read