Looking Glass

Panopticon Development Blog
28
July 2018

Moving to Gitlab

We moved Panopticon development from Github to Gitlab.

29
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.
5
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.

1
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.
24
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.
30
November 2015

Pentridge is done

Today we finally finished the 0.12 version of Panopticon code named “Pentridge”.
11
October 2015

Bastille has landed

In the last 10 months we started rebuilding Panopticon in Rust.
19
February 2015

Panopticon 0.9 Released!

After 7 months of development version 0.9 – code name “Stammheim” – is ready.