Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/Neo23x0/YARA-Performance-Guidelines

A guide on how to write fast and memory friendly YARA rules
https://github.com/Neo23x0/YARA-Performance-Guidelines

Last synced: 29 days ago
JSON representation

A guide on how to write fast and memory friendly YARA rules

Awesome Lists containing this project

README

        

# YARA Performance Guidelines

When creating your rules for YARA keep in mind the following guidelines in order to get the best performance from them.
This guide is based on ideas and recommendations by Victor M. Alvarez and WXS.

- Revision 1.5, February 2021, applies to all YARA versions higher than 3.7

## The Basics
To get a better grip on what and where YARA performance can be optimized, it's useful to understand the scanning process. It's basically separated into 4 steps which will be explained very simplified using this examples rule:
```yara
import "math"
rule example_php_webshell_rule
{
meta:
description = "Just an example php webshell rule"
date = "2021/02/16"
strings:
$php_tag = "= 5
}
```
### 1. Compiling the rules
This step happens before the actual scan. YARA will look for so called `atoms` in the search strings to feed the Aho-Corasick automaton. The details are explained in the chapter [atom](#atoms) but for now it's enough to know, that they're maximum 4 bytes longs and YARA picks them quite cleverly to avoid too many matches. In our example YARA might pick the following 4 atoms:
* ` possible atoms are `abc` and `cde`, either one or the other can be used The `abc` atom is currently preferred because they have the same quality and it is the first of the two.

```
/(one|two)three/
```
=> possible atoms are `one`, `two`, `thre` and `hree`, we can search for `thre` (or `hree`) alone, or for both `one` and `two`. Atom `thre` is preferred because it will lead to less potential matches then `one` and `two` (these are shorter) and it does not contain double `e` (more unique letter the better).

YARA does its best effort to select the best atoms from each string, for example:

```
{ 00 00 00 00 [1-4] 01 02 03 04 }
```
=> here YARA uses the atom `01 02 03 04`, because `00 00 00 00` is too common

```
{ 01 02 [1-4] 01 02 03 04 }
```
=> `01 02 03 04` is preferred over `01 02` because it's longer

So, the important point is that strings should contain good atoms.
These are bad strings because they contain either too short or too common atoms:

```
{00 00 00 00 [1-2] FF FF [1-2] 00 00 00 00}
{AB [1-2] 03 21 [1-2] 01 02}
/a.*b/
/a(c|d)/
```

The worst strings are those that don't contain any atoms at all, like:

```
/\w.*\d/
/[0-9]+\n/
```

This regular expression don't contain any fixed substring that can be used as atom, so it must be evaluated at every offset of the file to see if it matches there.

## Too Many Loop Iterations

Another good import recommendation is to avoid for [loops](https://yara.readthedocs.io/en/v3.9.0/writingrules.html#iterating-over-string-occurrences) with too many iterations, specially of the statement within the loop is too complex, for example:

```yara
strings:
$a = {00 00}
condition:
for all i in (1..#a) : (@a[i] < 10000)
```

This rule has two problems. The first is that the string $a is too common, the second one is that because $a is too common #a can be too high and can be evaluated thousands of times.

This other condition is also inefficient because the number of iterations depends on filesize, which can be also very high:

```
for all i in (1..filesize) : ($a at i)
```

## Magic Module

Avoid using the ["magic" module](https://yara.readthedocs.org/en/v3.3.0/modules/magic.html) which is not available on the Windows platform. Using the "magic" module slows down scanning but provides exact matches.

Custom GIF magic header definition:

```yara
rule gif_1 {
condition:
(uint32be(0) == 0x47494638 and uint16be(4) == 0x3961) or
(uint32be(0) == 0x47494638 and uint16be(4) == 0x3761)
}
```

Using the "[magic](https://yara.readthedocs.io/en/v3.9.0/modules/magic.html)" module:

```yara
import "magic"
rule gif_2 {
condition:
magic.mime_type() == "image/gif"
}
```

## Too Short Strings

Avoid defining too short strings. Any string with less than 4 bytes will probably appear in a lot of files OR as uniform content in an XORed file.

## Uniform Content

Some strings are long enough but shouldn't be used due to a different reason - uniformity. These are some examples for strings that shouldn't be used as they could cause too many matches in files.

```
$s1 = "22222222222222222222222222222222222222222222222222222222222222"
$s2 = "\x00\x20\x00\x20\x00\x20\x00\x20\x00\x20\x00\x20\x00\x20" // wide formatted spaces
```

Error message would look like:
```
error scanning yara-killer.dat: string "$mz" in rule "shitty_mz" caused too many matches
```

## String Advices

Try to describe string definitions as narrow as possible. Avoid the "nocase" attribute if possible, because many atoms will be generated and searched for (higher memory usage, more iterations). Remember, in the absence of modifiers "ascii" is assumed by default. The possible combinations are:

**LOW** - only one [atom](#atoms) is generated

```
$s1 = "cmd.exe" // (ascii only)
$s2 = "cmd.exe" ascii // (ascii only, same as $s1)
$s3 = "cmd.exe" wide // (UTF-16 only)
$s4 = "cmd.exe" ascii wide // (both ascii and UTF-16) two atoms will be generated
$s5 = { 63 6d 64 2e 65 78 65 } // ascii char code in hex
```

**HIGH** - All combinations of upper and lowercase letters for the 4 bytes chosen by YARA will be generated as [atoms](#atoms)

```
$s5 = "cmd.exe" nocase (all different cases, e.g. "Cmd.", "cMd.", "cmD." ..)
```
If you want to match scripting commands, check if the language is case insensitive at all (e.g. php, Windows batch) before using `nocase`. If you just need different casing for just one or two letters, you're better off with a regex, e.g.
```
$re = /[Pp]assword/
```

Be careful when working with alternation such as:

```
$re = /(a|b)cde/
$hex = {C7 C3 00 (31 | 33)}
```

These strings generate short atoms that can slow down scanning.
In cases where there are a small numbers of variant, is it recommended to write the string separately:

```
$re1 = /acde/
$re2 = /bcde/
$hex1 = {C7 C3 00 31}
$hex2 = {C7 C3 00 33}
```

## Regular Expressions

Use regular expressions only when necessary. [Regular expression](https://yara.readthedocs.io/en/v3.9.0/writingrules.html#regular-expressions) evaluation is inherently slower than plain string matching and consumes a **significant amount of memory**. Don't use them if hex strings with jumps and wild-cards can solve the problem.

If you have to use regular expressions avoid greedy `.*` and even reluctant quantifiers `.*?`. Instead use exact numbers like `.{1,30}` or even `.{1,3000}`. Also, do not forget the upper bound (avoid e.g. `.{2,}`).

When we are using quantifiers, two situations can happen:

If the beginning of the regular expressions is anchored on one position and the only suffix can vary, YARA will match **the longest possible match**. In cases as `.*` and `.+` or `.{2,}`, this can lead to large strings and slowing down scanning problems.

If there are more possible beginnings of the regular expression, YARA will match **all of them**.

```
$re1 = /Tom.{0,2}/ // will find Tomxx in "Tomxx"
$re2 = /.{0,2}Tom/ // will find Tom, xTom, xxTom in "xxTom"
```

The number of shorter matches can easily cross the limit and create "too many matches" error.

The following example is the regular expression for an e-mail address. When using `[-a-z0-9._%+]` with quantifiers, YARA will match one address multiple times, which is not ideal. In this case, it is recommended to find a reasonably small subset of addresses providing enough information for analysis.

USE

```
/[-a-z0-9._%+]@[-a-z0-9.]{2,10}\.[a-z]{2,4}/
OR
/@[-a-z0-9.]{2,10}\.[a-z]{2,4}/
```

AVOID

```
/[-a-z0-9._%+]*@[-a-z0-9.]{2,10}\.[a-z]{2,4}/
/[-a-z0-9._%+]+@[-a-z0-9.]{2,10}\.[a-z]{2,4}/
/[-a-z0-9._%+]{x,y}@[-a-z0-9.]{2,10}\.[a-z]{2,4}/
```

If you want to make sure, that e.g. `exec` is followed by `/bin/sh`, you can use the offsets supplied by the `@` symbol. This would be the slow regex version:
```
$ = /exec.*\/bin\/sh/
```
This is the faster offset way:
```
strings:
$exec = "exec"
$sh = "/bin/sh"
conditions:
$exec and $sh and
@exec < @sh
```

Also try to include long sequences of strings that could serve as anchors in the matching progress. Again, the longer the better.

BAD
```
$s1 = /http:\/\/[.]*\.hta/ // greedy [.]*
```

BETTER
```
$s1 = /http:\/\/[a-z0-9\.\/]{3,70}\.hta/ // better, with an the upper bound
```

BEST
```
$s1 = /mshta\.exe http:\/\/[a-z0-9\.\/]{3,70}\.hta/
```

## Too Many Matches and Slowing Down Scanning Error

Too many matches errors are caused by too general strings that are present in the input too often, or YARA is matching one instance multiple times.

Slowing down scanning is caused by strings that are generating too short atoms, or non at all. As a result, YARA uses a naïve pattern matching algorithm, which is causing the slowdown.

Both of these problems can be, in some cases, fixed by these steps:

1. Check for the quantifiers `.*` and `.+`, `.*?`
2. Check for quantifiers without upper bound such as `x{14,}`
3. Check for too large range (e. g. x{1,300000})
4. Check for big jumps in the hexadecimal strings
5. Check for wild-cards characters - can they be specified more preciously, or could be string split into 2, omitting the wild-cards character?
6. Check for alternations: can be split into 2 or more strings?
7. Try to add specification for words matching (fullword, \b,...)

Note, in the next chapter [Conditions and Short-Circuit Evaluation](#conditions-and-short-circuit-evaluation), a few tips for conditions are mentioned. However, the changes in them will not solve the too many matches and slowing down scanning errors.

## Conditions and Short-Circuit Evaluation

Try to write condition statements in which the elements that are most likely to be "False" are placed first. The condition is evaluated from left to right. The sooner the engine identifies that a rule is not satisfied the sooner it can skip the current rule and evaluate the next one. The speed improvement caused by this way to order the condition statements depends on the difference in necessary CPU cycles to process each of the statements. If all statements are more or less equally expensive, reordering the statements causes no noticeable improvement. If one of the statements can be processed very fast it is recommended to place it first in order to skip the expensive statement evaluation in cases in which the first statement is FALSE.

Changing the order in the following statement does not cause a significant improvement:

```
$string1 and $string2 and uint16(0) == 0x5A4D
```

However, if the execution time of the statements is very different, reordering in order to trigger the short-circuit will improve the scan speed significantly:

**SLOW**
```
// EXPENSIVE and CHEAP
math.entropy(0, filesize) > 7.0 and uint16(0) == 0x5A4D
```

**FAST**
```
// CHEAP and EXPENSIVE
uint16(0) == 0x5A4D and math.entropy(0, filesize) > 7.0
```

Short-circuit evaluation was introduced to help optimizing expensive sentences, particularly "for" sentences. Some people were using conditions like the one in the following example:

```
strings:
$mz = "MZ"
...
condition:
$mz at 0 and for all i in (1..filesize) : ( whatever )
```

Because filesize can be a very big number, "whatever" can be executed a lot of times, slowing down the execution. Now, with short-circuit evaluation, the "for" sentence will be executed only if the first part of the condition is met, so, this rule will be slow only for MZ files. An additional improvement could be:

```
$mz at 0 and filesize < 100KB and for all i in (1..filesize) : ( whatever )
```

This way a higher bound to the number of iterations is set.

From version 3.10, the integer range loops were also optimized:

```
for all i in (0..100): (false)
for any i in (0..100): (true)

Both of these loops will stop iterating after the first time through.
```

### No Short-Circuit for Regular Expressions

Sadly this does not work with regular expressions because they're all initially fed into the string matching engine. The following example will slow down the search for any file and not just for those with filesize smaller than 200 bytes:
```
strings:
$expensive_regex = /\$[a-z0-9_]+\(/ nocase
conditions:
filesize < 200 and
$expensive_regex
```

This "short-circuit" evaluation is applied since YARA version 3.4.

## Metadata

Any data in the metadata section is read into the RAM by YARA. (You can easily test this by inserting 100,000 hashes into a rule and check the RAM usage of the YARA scan before and after.) Of course you don't want to permanently remove the metadata from the rules but if you're short on RAM, you could remove some unneeded parts of it in your workflow directly prior to scanning.