Google exposes BadAudio malware used in APT24 espionage campaigns

China-linked APT24 hackers have been using a previously undocumented malware called BadAudio in a three-year espionage campaign that recently switched to more sophisticated attack methods.
IEEE

Using Fuzzing to Help Abstract Interpretation Based Program Verification

Abstract: Interpretation has been successfully applied to static analysis, by computing over-approximation of the concrete semantics of various program for many years. However, in the context of ...
IEEE

llvm-dimeta: A library for extracting source-level type information in LLVM IR using debug metadata

Abstract: LLVM frontends like Clang preserve source-level type information in the intermediate representation (IR) primarily through debug metadata. Although intended for debuggers, this metadata ...
GitHub

Testsuite: Namespace Magic

The namespaces have been around for long time however, it still feel magic. So I start a page to enable magic, in 2019. As time pass it may not be magic anymore or even may become obsolete. An early ...