Dharma

Requirements

---

None

Examples

--- Generate a single test-case.

% ./dharma.py -grammars grammars/webcrypto.dg

Generate a single test case with multiple grammars.

% ./dharma.py -grammars grammars/canvas2d.dg grammars/mediarecorder.dg

Generating test-cases as files.

% ./dharma.py -grammars grammars/webcrypto.dg -storage . -count 5

Generate test-cases, send each over WebSocket to Firefox, observe the process for crashes and bucket them.

% ./dharma.py -server -grammars grammars/canvas2d.dg -template grammars/var/templates/html5/default.html
% ./framboise.py -setup inbound64-release -debug -worker 4 -testcase ~/dev/projects/fuzzers/dharma/grammars/var/index.html

Benchmark the generator.

% time ./dharma.py -grammars grammars/webcrypto.dg -count 10000 > /dev/null

Screenshots

Grammar Cheatsheet

comment

``` %%% comment ```

controls

``` %const% name := value ```

sections

``` %section% := value %section% := variable %section% := variance ```

extension methods

``` %range%(0-9) %range%(0.0-9.0) %range%(a-z) %range%(!-~) %range%(0x100-0x200)

%repeat%(+variable+) %repeat%(+variable+, ", ")

%uri%(path) %uri%(lookup_key)

%block%(path)

%choice%(foo, "bar", 1)


<h4>assigning values</h4>

digit := %range%(0-9)

sign := + -

value := +sign+%repeat%(+digit+)


<h4>using values</h4>

+value+


<h4>assigning variables</h4>

variable := @variable@ = new Foo();


<h4>using variables</h4>

value := !variable!.bar();


<h4>referencing values from common.dg</h4>

value := attribute=+common:number+


<h4>calling javascript library functions</h4>

foo := Random.pick([0,1]);

ikkisoft/dharma