🦞🌯 Lobster Roll

Stories by lojikil

wally: RPC and HTTP route mapper ideal for microservices (github.com)
> Wally is a static analysis tool for attack surface mapping. It automates the initial stages of threat modelling by mapping RPC and HTTP routes in Go code.
Infamous Chisel Malware Analysis Report (cisa.gov)
> Infamous Chisel–A collection of components associated with Sandworm designed to enable remote access and exfiltrate information from Android phones. Pretty interesting breakdown of mobile malware. Definitely very specific to the target domain (since it's for 32bit Android for the most part), bu...
SPARK 2014 : Manual Proof with Ghost Code in SPARK 2014 (spark-2014.org)
This is the first I've seen "ghost code," though I admit that I generally don't work with High Assurance systems or in Ada/Spark (often). Seems like a neat, if somewhat cumbersome idea.
gamozolabs/mesos | Binary coverage tool without binary modification for Windows (github.com)
> Mesos is a tool to gather binary code coverage on all user-land Windows targets without need for source or recompilation. It also provides an automatic mechanism to save a full minidump of a process if it crashes under mesos. > Mesos is technically just a really fast debugger, capable of handli...