AdaLogics

609 subscribers

16 videos

View on YouTube

Ada Logics is a software security company. We do consultancy services, research and development as well as trainings.

Latest Videos

LLM-based Fuzz Harness generation with OSS-Fuzz-gen

LLM-based Fuzz Harness generation with OSS-Fuzz-gen

AdaLogics

2.4K views·1 year ago

OSS-Fuzz VS Code extension introduction extending cJSON from 42% to 73% code coverage

OSS-Fuzz VS Code extension introduction extending cJSON from 42% to 73% code coverage

AdaLogics

692 views·2 years ago

Open source fuzzing introspection

Open source fuzzing introspection

AdaLogics

400 views·2 years ago

Fuzz Introspector demo

Fuzz Introspector demo

AdaLogics

1.7K views·4 years ago

PyPANDA Generic unpacking based on whole-system record and replay with Ghidra integration.

PyPANDA Generic unpacking based on whole-system record and replay with Ghidra integration.

AdaLogics

1.4K views·5 years ago

PANDA Reverse engineering with record and replay.

PANDA Reverse engineering with record and replay.

AdaLogics

4.7K views·5 years ago

Fuzzing native Python extensions with Atheris

Fuzzing native Python extensions with Atheris

AdaLogics

795 views·5 years ago

Automated Vulnerability Checking of Software - understanding the landscape.

Automated Vulnerability Checking of Software - understanding the landscape.

AdaLogics

687 views·5 years ago

Fuzzing combined with symbolic execution a demonstration on SymCC and AFL.

Fuzzing combined with symbolic execution a demonstration on SymCC and AFL.

AdaLogics

3.4K views·5 years ago

Symbolic execution by compilation with SymCC

Symbolic execution by compilation with SymCC

AdaLogics

3.4K views·5 years ago

Python Fuzzing with Atheris - An introduction

Python Fuzzing with Atheris - An introduction

AdaLogics

4.2K views·5 years ago

Introduction to Go fuzzing fuzz your first project in a few minutes

Introduction to Go fuzzing fuzz your first project in a few minutes

AdaLogics

3.6K views·5 years ago

Finding memory corruption bugs in OSS with symbolic execution - Introduction to KLEE (part 4)

Finding memory corruption bugs in OSS with symbolic execution - Introduction to KLEE (part 4)

AdaLogics

2.3K views·5 years ago

Capturing memory corruptions with symbolic execution - Introduction to KLEE (part 3)

Capturing memory corruptions with symbolic execution - Introduction to KLEE (part 3)

AdaLogics

2.1K views·5 years ago

Introduction to symbolic execution with KLEE (part 2) - running six examples of diverse small C apps

Introduction to symbolic execution with KLEE (part 2) - running six examples of diverse small C apps

AdaLogics

3.8K views·5 years ago

Introduction to symbolic execution with KLEE

Introduction to symbolic execution with KLEE

AdaLogics

11.3K views·5 years ago

AdaLogics - NatokHD | NatokHD