Services

Embedded Solutions

Moritz Systems are experts in embedded solutions that host innovative solutions in Fintech, Insurtech, Smart Energy, Smart Buildings. Industry 4.0 (IIoT), HealthTech, Medtech, Digital Health, Martech, Sustainability and Waste Management.

Services

Embedded Solutions

Moritz Systems are experts in embedded solutions that host innovative solutions in Fintech, Insurtech, Smart Energy, Smart Buildings. Industry 4.0 (IIoT), HealthTech, Medtech, Digital Health, Martech, Sustainability and Waste Management.

Careers

Embedded Software Developer

We are looking for a candidate to fill the position of a BSD/Linux kernel developer. The programmer will be responsible for device drivers and bootloaders for embedded x86_64 and aarch64-based systems.

Blog | September 24, 2020

How to integrate a fuzzer with your project?

By Kamil Frankowicz

Generally, during fuzz testing (regardless of the tool used to perform it: American Fuzzy Lop, libFuzzer, or any other), we have to remember to keep the number of iterations per second high. This means that a good fuzzer is a fast fuzzer. This is mostly facilitated by minimizing the structures and operations needed to prepare the context. We do not reinitialize the mechanisms of the fuzzed library for every iteration.

Blog | September 17, 2020

An introduction to LLVM libFuzzer

By Kamil Frankowicz, Kamil Rytarowski

Fuzzing is a software testing method that involves passing malformed data as input to the program and monitoring it for misbehavior. Today, fuzzing is one of the most effective ways to find software security problems. In 2014, Michał Zalewski presented American Fuzzy Lop, the first coverage guided fuzzer. This started the modern world of fuzzing solutions and techniques on the market.

Blog | November 19, 2020

Before the BSD Kernel starts: Part One on AMD64

By Maciej Grochowski

System initialization is one of the niche areas that few people look into. The exact details vary considerably between different platforms, firmwares, CPU architectures and operating systems, making it difficult to learn it all. Usually, if something is not working correctly during the early stages of system startup or if the OS does not boot, it rarely has anything to do with the code responsible for booting. Most of the time, it is due to other factors, such as the boot media or BIOS configuration.

Services

Embedded Solutions

Moritz Systems are experts in embedded solutions that host innovative solutions in Fintech, Insurtech, Smart Energy, Smart Buildings. Industry 4.0 (IIoT), HealthTech, Medtech, Digital Health, Martech, Sustainability and Waste Management.

The Moritz Systems team has started a new contract on FreeBSD KGDB support in LLDB.

Blog | May 6, 2021

LLDB core dump support improvements

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | April 15, 2021

LLDB support for fork(2) and vfork(2)

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | March 4, 2021

LLDB: FreeBSD Legacy Process Plugin Removed

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | February 4, 2021

FreeBSD Remote Process Plugin on Non-x86 Architectures

By Michał Górny

Moritz Systems have started a new contract with the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. Throughout the previous contract we have introduced a FreeBSD Remote Process Plugin utilizing the mode modern client-server layout of LLDB. We have managed to achieve the feature parity with the original FreeBSD plugin on the x86 architecture. However, as of today other architectures still use the original.

Blog | January 28, 2021

We are looking for a candidate to fill the position of a BSD/Linux kernel developer. The programmer will be responsible for device drivers and bootloaders for embedded x86_64 and aarch64-based systems.

Blog | November 26, 2020

Mastering UNIX pipes, Part 1

By Kamil Rytarowski

A pipe is a first-in-first-out interprocess communication channel. The pipe version as it is known today was invented by an American Computer Scientist Douglas McIlroy and incorporated into Version 3 AT&T UNIX in 1973 by Ken Thompson. It was inspired by the observation that frequently the output of one application is used as an input for another. This concept can be reused to connect a chain of processes. This is frequently observed in UNIX shell constructs that utilize the | operator.

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The primary goal of our contract is to bring support for full multiprocess debugging into LLDB. The Project Schedule is divided into three milestones, each taking approximately one and a half months: Support for the non-stop variant of GDB Remote Serial Protocol in lldb-server and gdb-remote plugin in LLDB client.

Blog | April 3, 2022

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The primary goal of our contract is to bring kernel debugging into LLDB. The complete Project Schedule is divided into six milestones, each taking approximately one month: Improve LLDB compatibility with the GDB protocol: fix LLDB implementation errors, implement missing packets, except registers. Improve LLDB compatibility with the GDB protocol: support gdb-style flexible register API.

Blog | July 19, 2021

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The primary goal of our contract is to bring support for full multiprocess debugging into LLDB. The Project Schedule is divided into three milestones, each taking approximately one and a half months: Support for the non-stop variant of GDB Remote Serial Protocol in lldb-server and gdb-remote plugin in LLDB client.

Blog | April 3, 2022

The Moritz Systems team has started a new contract on FreeBSD KGDB support in LLDB.

Blog | May 6, 2021

LLDB core dump support improvements

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | April 15, 2021

LLDB support for fork(2) and vfork(2)

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | March 4, 2021

LLDB: FreeBSD Legacy Process Plugin Removed

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | February 4, 2021

FreeBSD Remote Process Plugin on Non-x86 Architectures

By Michał Górny

Moritz Systems have started a new contract with the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. Throughout the previous contract we have introduced a FreeBSD Remote Process Plugin utilizing the mode modern client-server layout of LLDB. We have managed to achieve the feature parity with the original FreeBSD plugin on the x86 architecture. However, as of today other architectures still use the original.

Blog | January 28, 2021

Blog | August 19, 2020

An introduction to Formal Verification for Software Systems

By Santhosh Raju, Kamil Rytarowski

When engineers were designing completely autonomously operated Paris Métro line 14, they had to ensure the safety of tens of millions passengers each year, its 22 stations across Paris as well as smooth running of trains. How to approach development of software that allows for the automation of public transit? The French team decided to use formal verification – learn what it means!

The Moritz Systems team has started a new contract on FreeBSD KGDB support in LLDB.

Blog | May 6, 2021

LLDB core dump support improvements

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | April 15, 2021

LLDB support for fork(2) and vfork(2)

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | March 4, 2021

LLDB: FreeBSD Legacy Process Plugin Removed

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | February 4, 2021

FreeBSD Remote Process Plugin on Non-x86 Architectures

By Michał Górny

Moritz Systems have started a new contract with the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. Throughout the previous contract we have introduced a FreeBSD Remote Process Plugin utilizing the mode modern client-server layout of LLDB. We have managed to achieve the feature parity with the original FreeBSD plugin on the x86 architecture. However, as of today other architectures still use the original.

Blog | January 28, 2021

By Kamil Frankowicz, Kamil Rytarowski

Fuzzing is a software testing method that involves passing malformed data as input to the program and monitoring it for misbehavior. Today, fuzzing is one of the most effective ways to find software security problems. In 2014, Michał Zalewski presented American Fuzzy Lop, the first coverage guided fuzzer. This started the modern world of fuzzing solutions and techniques on the market.

Careers

Embedded Software Developer

We are looking for a candidate to fill the position of a BSD/Linux kernel developer. The programmer will be responsible for device drivers and bootloaders for embedded x86_64 and aarch64-based systems.

Blog | November 26, 2020

Mastering UNIX pipes, Part 1

By Kamil Rytarowski

A pipe is a first-in-first-out interprocess communication channel. The pipe version as it is known today was invented by an American Computer Scientist Douglas McIlroy and incorporated into Version 3 AT&T UNIX in 1973 by Ken Thompson. It was inspired by the observation that frequently the output of one application is used as an input for another. This concept can be reused to connect a chain of processes. This is frequently observed in UNIX shell constructs that utilize the | operator.

About

Our Founder

Kamil Rytarowski is our technical lead from the first day, Kamil is well known in the Open Source community as the go-to-person for porting software to NetBSD, and not only. Leading the technical Moritz Systems team, Kamil has a deep passion for all NetBSD things. Author of several technical articles in the IT press, organizer and speaker at IT conferences. You can find Kamil’s contribution in hundreds of Open Source projects.

Careers

Embedded Software Developer

We are looking for a candidate to fill the position of a BSD/Linux kernel developer. The programmer will be responsible for device drivers and bootloaders for embedded x86_64 and aarch64-based systems.

Blog | July 19, 2021

The Moritz Systems team has started a new contract on FreeBSD KGDB support in LLDB.

Blog | May 6, 2021

LLDB core dump support improvements

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | April 15, 2021

LLDB support for fork(2) and vfork(2)

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | March 4, 2021

LLDB: FreeBSD Legacy Process Plugin Removed

By Michał Górny

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The complete Project Schedule is divided into four milestones, each taking approximately one month: M1 Switch all the non-x86 CPUs to the LLDB FreeBSD Remote-Process-Plugin. M2 Iteration over regression tests on ARM64 and fixing known bugs, marking the non-trivial ones for future work. Remove the old local-only Process-Plugin.

Blog | February 4, 2021

FreeBSD Remote Process Plugin on Non-x86 Architectures

By Michał Górny

Moritz Systems have started a new contract with the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. Throughout the previous contract we have introduced a FreeBSD Remote Process Plugin utilizing the mode modern client-server layout of LLDB. We have managed to achieve the feature parity with the original FreeBSD plugin on the x86 architecture. However, as of today other architectures still use the original.

Blog | January 28, 2021

Moritz Systems have been contracted by the FreeBSD Foundation to continue our work on modernizing the LLDB debugger’s support for FreeBSD. The primary goal of our contract is to bring kernel debugging into LLDB. The complete Project Schedule is divided into six milestones, each taking approximately one month: Improve LLDB compatibility with the GDB protocol: fix LLDB implementation errors, implement missing packets, except registers. Improve LLDB compatibility with the GDB protocol: support gdb-style flexible register API.

Blog | July 19, 2021

Fuzzing is a software testing method that involves passing malformed data as input to the program and monitoring it for misbehavior. Today, fuzzing is one of the most effective ways to find software security problems. In 2014, Michał Zalewski presented American Fuzzy Lop, the first coverage guided fuzzer. This started the modern world of fuzzing solutions and techniques on the market.

Add a new user

By Kamil Rytarowski

useradd -m joe && passwd joe

Bsd tips and tricks | December 7, 2020

By Kamil Rytarowski

find . -type f -exec stat -f "%z %N" {} \; | sort -r -n -k1

Blog | October 29, 2020

How Debuggers Work: Getting and Setting x86 Registers, Part 2: XSAVE

By Michał Górny

In the previous part of this article, I have described the basic methods of getting and setting the baseline registers of 32-bit and 64-bit x86 CPUs. I have covered General Purpose Registers, baseline Floating-Point Registers and Debug Registers along with their ptrace(2) interface. In the second part, I would like to discuss the XSAVE family of instructions. I will describe the different variants of this instruction as well as explain the differences between them and their limitations.

Blog | October 22, 2020

How Debuggers Work: Getting and Setting x86 Registers, Part 1

By Michał Górny

In this article, I would like to shortly describe the methods used to dump and restore the different kinds of registers on 32-bit and 64-bit x86 CPUs. The first part will focus on General Purpose Registers, Debug Registers and Floating-Point Registers up to the XMM registers provided by the SSE extension. I will explain how their values can be obtained via the ptrace(2) interface.

Careers

Embedded Software Developer

We are looking for a candidate to fill the position of a BSD/Linux kernel developer. The programmer will be responsible for device drivers and bootloaders for embedded x86_64 and aarch64-based systems.

Services

BSD Software

Moritz Systems is a proud contributor and member of the BSD community, with a primary focus on the NetBSD technology. NetBSD is a free, fast, secure and highly portable Operating System, available for a wide range of platforms, from large-scale servers and powerful desktop computers to IOT and Edge Computing devices. We believe that all users of Open Source should have the freedom of choice between alternative solutions and that is why we provide BSD licensed software services to our customers.

Bsd tips and tricks | January 25, 2021

leave(1) - remind you when you have to leave

By Kamil Rytarowski

leave +0001

Bsd tips and tricks | January 5, 2021

Add a new user

By Kamil Rytarowski

useradd -m joe && passwd joe

Bsd tips and tricks | December 7, 2020

Set your favorite pager

By Kamil Rytarowski

env PAGER=less man 1 intro

Bsd tips and tricks | November 30, 2020

finger(1) plan

By Kamil Rytarowski

echo “Rule the world!” > ~/.plan

Blog | November 26, 2020

Mastering UNIX pipes, Part 1

By Kamil Rytarowski

A pipe is a first-in-first-out interprocess communication channel. The pipe version as it is known today was invented by an American Computer Scientist Douglas McIlroy and incorporated into Version 3 AT&T UNIX in 1973 by Ken Thompson. It was inspired by the observation that frequently the output of one application is used as an input for another. This concept can be reused to connect a chain of processes. This is frequently observed in UNIX shell constructs that utilize the | operator.

Bsd tips and tricks | November 23, 2020

Show diff output in color

By Kamil Rytarowski

alias cpatch=‘sed -e “s/^+.$/tput setf 6 bold&tput sgr0/” -e “s/^-.$/tput setf 4 bold&tput sgr0/"’

Bsd tips and tricks | November 16, 2020

Emulate clear in restricted environments

By Kamil Rytarowski

alias clr=‘printf “\033[H\033[J”’

Bsd tips and tricks | November 9, 2020

Find the largest files in the current directory

Blog | September 24, 2020

How to integrate a fuzzer with your project?

By Kamil Frankowicz

Generally, during fuzz testing (regardless of the tool used to perform it: American Fuzzy Lop, libFuzzer, or any other), we have to remember to keep the number of iterations per second high. This means that a good fuzzer is a fast fuzzer. This is mostly facilitated by minimizing the structures and operations needed to prepare the context. We do not reinitialize the mechanisms of the fuzzed library for every iteration.

Blog | September 17, 2020

An introduction to LLVM libFuzzer

By Kamil Frankowicz, Kamil Rytarowski

Fuzzing is a software testing method that involves passing malformed data as input to the program and monitoring it for misbehavior. Today, fuzzing is one of the most effective ways to find software security problems. In 2014, Michał Zalewski presented American Fuzzy Lop, the first coverage guided fuzzer. This started the modern world of fuzzing solutions and techniques on the market.

Blog | September 10, 2020

Voucher System verification using TLA+

By Santhosh Raju, Kamil Rytarowski

Continuing from our previous article, let us take an example of how to write a TLA+ proof for a real-world specification of a distributed system. For this exercise we will go through the Voucher Trading System process as specified by the RFC3506 hosted by IETF. The distributed and concurrent systems require a consensus protocol to achieve overall system reliability and immunity to failures of nodes. We decided to select for this VTS network a simple Two-phase commit protocol.

Blog | August 19, 2020

An introduction to Formal Verification for Software Systems

By Santhosh Raju, Kamil Rytarowski

When engineers were designing completely autonomously operated Paris Métro line 14, they had to ensure the safety of tens of millions passengers each year, its 22 stations across Paris as well as smooth running of trains. How to approach development of software that allows for the automation of public transit? The French team decided to use formal verification – learn what it means!

Blog | September 17, 2020

An introduction to LLVM libFuzzer

By Kamil Frankowicz, Kamil Rytarowski

Fuzzing is a software testing method that involves passing malformed data as input to the program and monitoring it for misbehavior. Today, fuzzing is one of the most effective ways to find software security problems. In 2014, Michał Zalewski presented American Fuzzy Lop, the first coverage guided fuzzer. This started the modern world of fuzzing solutions and techniques on the market.

Blog | September 10, 2020

Voucher System verification using TLA+

By Santhosh Raju, Kamil Rytarowski

Continuing from our previous article, let us take an example of how to write a TLA+ proof for a real-world specification of a distributed system. For this exercise we will go through the Voucher Trading System process as specified by the RFC3506 hosted by IETF. The distributed and concurrent systems require a consensus protocol to achieve overall system reliability and immunity to failures of nodes. We decided to select for this VTS network a simple Two-phase commit protocol.

Blog | August 19, 2020

An introduction to Formal Verification for Software Systems

Blog | August 19, 2020

An introduction to Formal Verification for Software Systems

By Santhosh Raju, Kamil Rytarowski

When engineers were designing completely autonomously operated Paris Métro line 14, they had to ensure the safety of tens of millions passengers each year, its 22 stations across Paris as well as smooth running of trains. How to approach development of software that allows for the automation of public transit? The French team decided to use formal verification – learn what it means!

Careers

Embedded Software Developer

We are looking for a candidate to fill the position of a BSD/Linux kernel developer. The programmer will be responsible for device drivers and bootloaders for embedded x86_64 and aarch64-based systems.

About

Our Vision

Our vision is to become the most acknowledged company on the BSD-based software market in the EU. We deliver products to customers all around the world. We strengthen the diversity of Open Source operating systems. We fill the gap between copyleft and proprietary software, providing solutions based on permissively licensed BSD systems, NetBSD in particular. We build a team of best IT specialists.

Services

Embedded Solutions

Moritz Systems are experts in embedded solutions that host innovative solutions in Fintech, Insurtech, Smart Energy, Smart Buildings. Industry 4.0 (IIoT), HealthTech, Medtech, Digital Health, Martech, Sustainability and Waste Management.

Blog | November 19, 2020

Before the BSD Kernel starts: Part One on AMD64

By Maciej Grochowski

System initialization is one of the niche areas that few people look into. The exact details vary considerably between different platforms, firmwares, CPU architectures and operating systems, making it difficult to learn it all. Usually, if something is not working correctly during the early stages of system startup or if the OS does not boot, it rarely has anything to do with the code responsible for booting. Most of the time, it is due to other factors, such as the boot media or BIOS configuration.

Blog | October 29, 2020

How Debuggers Work: Getting and Setting x86 Registers, Part 2: XSAVE

By Michał Górny

In the previous part of this article, I have described the basic methods of getting and setting the baseline registers of 32-bit and 64-bit x86 CPUs. I have covered General Purpose Registers, baseline Floating-Point Registers and Debug Registers along with their ptrace(2) interface. In the second part, I would like to discuss the XSAVE family of instructions. I will describe the different variants of this instruction as well as explain the differences between them and their limitations.

Blog | October 22, 2020

How Debuggers Work: Getting and Setting x86 Registers, Part 1

By Michał Górny

In this article, I would like to shortly describe the methods used to dump and restore the different kinds of registers on 32-bit and 64-bit x86 CPUs. The first part will focus on General Purpose Registers, Debug Registers and Floating-Point Registers up to the XMM registers provided by the SSE extension. I will explain how their values can be obtained via the ptrace(2) interface.

Careers

Embedded Software Developer

We are looking for a candidate to fill the position of a BSD/Linux kernel developer. The programmer will be responsible for device drivers and bootloaders for embedded x86_64 and aarch64-based systems.

Careers

Embedded Software Developer

We are looking for a candidate to fill the position of a BSD/Linux kernel developer. The programmer will be responsible for device drivers and bootloaders for embedded x86_64 and aarch64-based systems.

Blog | October 29, 2020

How Debuggers Work: Getting and Setting x86 Registers, Part 2: XSAVE

By Michał Górny

In the previous part of this article, I have described the basic methods of getting and setting the baseline registers of 32-bit and 64-bit x86 CPUs. I have covered General Purpose Registers, baseline Floating-Point Registers and Debug Registers along with their ptrace(2) interface. In the second part, I would like to discuss the XSAVE family of instructions. I will describe the different variants of this instruction as well as explain the differences between them and their limitations.

Blog | September 24, 2020

How to integrate a fuzzer with your project?

By Kamil Frankowicz

Generally, during fuzz testing (regardless of the tool used to perform it: American Fuzzy Lop, libFuzzer, or any other), we have to remember to keep the number of iterations per second high. This means that a good fuzzer is a fast fuzzer. This is mostly facilitated by minimizing the structures and operations needed to prepare the context. We do not reinitialize the mechanisms of the fuzzed library for every iteration.

Blog | September 17, 2020

An introduction to LLVM libFuzzer

By Kamil Frankowicz, Kamil Rytarowski

Fuzzing is a software testing method that involves passing malformed data as input to the program and monitoring it for misbehavior. Today, fuzzing is one of the most effective ways to find software security problems. In 2014, Michał Zalewski presented American Fuzzy Lop, the first coverage guided fuzzer. This started the modern world of fuzzing solutions and techniques on the market.