Praetorian’s approach to cybersecurity centers around a core belief that combining innovative technologies and the best people in the business leads to real results. In our experience, neither can fully solve cybersecurity challenges on its own. We the…
Tag: Static Analysis
Europe, Global Security News, North America
Amarna: Static analysis for Cairo programs
by fcasal •
By Filipe Casal We are open-sourcing Amarna, our new static analyzer and linter for the Cairo programming language. Cairo is a programming language powering several trading exchanges with millions of dollars in assets (such as dYdX, driven by StarkWare…
Europe, Exploits, Global Security News, North America
Towards Practical Security Optimizations for Binaries
by Trail of Bits •
By Michael D. Brown, Senior Security Engineer To be thus is nothing, but to be safely thus. (Macbeth: 3.1) It’s not enough that compilers generate efficient code, they must also generate safe code. Despite the extensive testing and correctness certific…
Europe, Global Security News, North America
Toward a Best-of-Both-Worlds Binary Disassembler
by Trail of Bits •
By Stefan Nagy This past winter, I was fortunate to have the opportunity to work for Trail of Bits as a graduate student intern under the supervision of Peter Goodman and Artem Dinaburg. During my internship, I developed Dr. Disassembler, a Datalog-dri…
Europe, Global Security News, North America
The invisible C# code
by Leandro T. C. Melo •
Static Analysis of (the Invisible) C# Sources
From https://docs.microsoft.com/
Does your static analysis tool see the C# source underlying your C# source? I am a compiler engineer at ShiftLeft, the designer and (main) implementor of the programming lan…
Europe, Global Security News, North America
Integrations are Key to Success in DevSecOps for Embedded Development
by Walter Capitani •
The term DevSecOps is a contraction of developer, security and operations. Despite the buzzword hype, it does have positive implications for improving the quality, security and functional safety of embedded software applications. Many organizatio…