ADA Logics

@ADALogics

Advanced Software Security. Vulnerability analysis, software auditing and security automation. adalogics.com/contact

Oxford, England

adalogics.com

Replies Reposts Media

Pinned
ADA Logics
@ADALogics
Feb 17, 2021
Our newly released program analysis bundle is available for online and self-paced training! Come and learn #fuzzing #llvm #programanalysis #vulnerabilityananlysis and much more with our online courses! adalogics.com/courses
1
ADA Logics
@ADALogics
Mar 1, 2024
Happy to announce our #fuzzing work on #LLVM focused on continuous fuzzing by way of OSS-Fuzz -- LLVM is now the project with most lines covered of all OSS-Fuzz projects! Thanks to collaborators @OSTIFofficial and @sovtechfund Full report is available in adalogics.com/blog/llvm-fuzz…
ADA Logics
@ADALogics
Dec 5, 2023
Holistic security audit of @kyverno : Supply Chain Security with #SLSA, #Fuzzing with OSS-Fuzz, Manual code review and Threat modelling! Full details in the report. Great collaboration with @kyverno maintainers, @OSTIFofficial and @CloudNativeFdn
CNCF
@CloudNativeFdn
Dec 5, 2023
The #Kyverno project has completed a third-party #securityaudit 💪 The main goals were to: - Define a threat model - Conduct a manual code audit - Assess #fuzzing - Evaluate #supplychain risks against #SLSA See the results from Kyverno + Ada Logics: cncf.io/blog/2023/12/0…
ADA Logics
@ADALogics
Nov 28, 2023
We made a video introducing a recent OSS-Fuzz Visual Studio Code extension! Exciting new extension to help writing fuzzing harnesses for open source projects easier
David Korczynski
@Davkorcz
Nov 28, 2023
OSS-Fuzz Visual Studio Code Extension Introduction! New extension that can significantly improve #fuzz dev experience. I made a demo in which I increase cJSON code coverage from 43% to 73% using convenient features from the extension: youtube.com/watch?v=7bvRbE…
ADA Logics
@ADALogics
Jul 18, 2022
See our security work on @argoproj -- 26 security issues. 9 CVEs. 1 critical and 4 high, and extensive #fuzzing extensions. Thanks to @AdamKorcz4 for leading the auditing team and @OSTIFofficial and @CloudNativeFdn for collaboration. Thanks to all of the @argoproj as well!
OSTIF Official
@OSTIFofficial
Jul 18, 2022
We have published our work with @ADALogics and @CloudNativeFdn on Argo! We made a lot of progress together on this project and Argo is now patched against multiple serious issues and has improved testing! ostif.org/our-audit-of-a…