October 2016

Slow & Steady Wins the Race

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:

May 2016

BMC for vulnerability hunting

At 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.

April 2016

No April Fools

No joke, Panopticon version 0.14 is done! With an impressive delay of 4 weeks past the deadline we finally finished the Crematoria milestone.

January 2016

Version 0.13

We 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.

November 2015

Pentridge is done

Today 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.

October 2015

Bastille has landed

In the last 10 months we started rebuilding Panopticon in Rust. We were able to reduce the amount of code from 17k to 12k lines. Hopefully a saver language will help us preventing bugs in the future.

February 2015

Panopticon 0.9 Released!

After 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.