AFL (American Fuzzy Loop) is one of the most commonly used coverage-guided fuzzers. It has a lot of variants as well – each suited for a different scenario. This time I wanted to understand a bit more about the AFL fuzzer – this note contains some of my scribblings based on the same with some […]
I have been reading a paper titled – “Target-Driven Compositional Concolic Testing with Function Summary Refinement for Effective Bug Detection”. This paper basically illustrates how to use the concept of Concolic Execution to do proper system level testing. Concolic testing (a portmanteau of concrete and symbolic) is a hybrid software verification technique that performs symbolic execution, a classical technique that treats program variables as […]
This blog post is a retrospect on the time that I spent at Amrita Vishwa Vidyapeetham, Amritapuri as a part of my Bachelor’s. Now I am poised to take my next step forward and I have mixed feelings about leaving Amrita. I am excited about exploring opportunities ahead but I am also sad to leave […]
I have been looking into research papers related to fuzzing kernels as a part of my GSoC’19 project – “Enhancing support for NetBSD in Syzkaller”. And recently I came across “Fuzzing File Systems via Two-Dimensional Input Space Exploration” which describes the working and motivation of a Filesystem fuzzer named JANUS Why File Systems? Filesystems are […]
I recently came across the CAB – Fuzz paper while looking at different fuzzing approaches and I decided to publish a short summary (read my scratch notes) of it since there wasn’t information about it other than the paper published – check it out here. I found this paper interesting due to a variety of […]
So as a part of my GSoC’18 project to implement Kernel Address Sanitizer in the NetBSD kernel, I have been trying to add a KASAN option to the kernel to build it with the Address Sanitizer option. For now what I have done is to create a set of dummy functions to make the build […]
I have been reading a dissertation called “The Design and implementation of UVM” by Dr Chuck Cranor. The dissertation is about the virtual memory manager that NetBSD uses at the moment. It was really informative but a bit too long (I am pretty new to reading such technical stuff). Below are a couple of notes […]
Introduction I applied for GSoC for the very first time this year. I choose the organization I wanted to work with as NetBSD as they had a couple of cool projects and I found the whole community to be pretty warm and friendly. The results for GSoC ’18 came on April 24th and I was […]
I have recently started contributing to the amazing NetBSD foundation. I was thinking of trying out a new OS for a long time. Switching to the NetBSD OS has been a fun change. My first contribution to the NetBSD foundation was adding regression tests for the Address Sanitizer (ASan) in the Automated Testing Framework(ATF) which […]
This is the first part of a series that will be covering reversing and analysis of Go binaries. It will cover Internals of Golang and Tips to help in reversing Golang Binaries.
R3xNation 