Conventions used

There are a number of text conventions used throughout this book.

Code in text: Indicates code words in text, database table names, folder names, filenames, file extensions, pathnames, dummy URLs, user input, and Twitter handles. Here is an example: "compressed_malware_samples where malware samples are downloaded."

A block of code is set as follows:

00  @PluginInfo(
01    status = PluginStatus.STABLE,
02    packageName = ExamplesPluginPackage.NAME,
03    category = PluginCategoryNames.EXAMPLES,
04    shortDescription = "Plugin short description.",
05    description = "Plugin long description goes here."
06  )

Any command-line input or output is written as follows:

>>> s = Solver()
>>> s.add(y == x + 5)
>>> s.add(y>x)
>>> s.check()
sat
>>> s.model()
[x = 0, y = 5]

Bold: Indicates a new term, an important word, or words that you see onscreen. For example, words in menus or dialog boxes appear in the text like this. Here is an example: "We start by opening it with CodeBrowser and go to the entry point."

Tips or important notes

Appear like this.