# Keygenning with KLEE

DevFeed: [Keygenning with KLEE](<https://devfeed.tech/articles/keygenning-with-klee-39699.md>)

Original publisher: [Read original article](<https://doar-e.github.io/blog/2015/08/18/keygenning-with-klee/>)

Author: Michele "brt\_device" Bertasi

Published: 2015-08-19T05:12:00Z

Content type: tutorial

Language: en

Sources: [Diary of a reverse-engineer](<https://devfeed.tech/sources/diary-of-a-reverse-engineer.md>)

Topics: [Software](<https://devfeed.tech/topics/software.md>), [Code](<https://devfeed.tech/topics/code.md>), [debug](<https://devfeed.tech/topics/debug.md>), [Linux](<https://devfeed.tech/topics/linux.md>), [gcc](<https://devfeed.tech/topics/gcc.md>), [Scripting, bash](<https://devfeed.tech/topics/scripting-bash.md>), [WPF](<https://devfeed.tech/topics/wpf.md>)

Tags: [code](<https://devfeed.tech/tags/code.md>), [debugging](<https://devfeed.tech/tags/debugging.md>), [gcc](<https://devfeed.tech/tags/gcc.md>), [ida](<https://devfeed.tech/tags/ida.md>), [ida-pro](<https://devfeed.tech/tags/ida-pro.md>), [linux](<https://devfeed.tech/tags/linux.md>), [reverse-engineering](<https://devfeed.tech/tags/reverse-engineering.md>), [scripting](<https://devfeed.tech/tags/scripting.md>), [software](<https://devfeed.tech/tags/software.md>), [symbolic-execution](<https://devfeed.tech/tags/symbolic-execution.md>), [virtual-machine](<https://devfeed.tech/tags/virtual-machine.md>), [windbg](<https://devfeed.tech/tags/windbg.md>)

## AI overview

This article examines the reverse engineering of a software serial-number validation process and describes using the KLEE symbolic virtual machine to build a key generator. It also discusses tools and practices including IDA Pro, WinDbg, Linux, gcc, Bash scripting, and a WPF application.

## Source excerpt

Introduction In the past weeks I enjoyed working on reversing a piece of software (don't ask me the name), to study how serial numbers are validated. The story the user has to follow is pretty common: download the trial, pay, get the serial number, use it in the annoying nag ...