about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Graph: dominators computation can only be done regarding to *one* headFabrice Desclaux2015-03-123-29/+44
* Merge pull request #110 from jmichelp/masterserpilliere2015-03-121-0/+339
|\
| * Adding LICENCE file for GPLv2Jean-Michel2015-03-121-0/+339
|/
* Merge pull request #108 from serpilliere/fix_depgraph_emulPierre Lalet2015-03-122-5/+47
|\
| * Depgraph: add step to symbolic executionFabrice Desclaux2015-03-121-2/+2
| * Test/DepGraph: add regression test for double bloc symbolic emulationFabrice Desclaux2015-03-121-0/+42
| * Depgraph: rename variablesFabrice Desclaux2015-03-121-3/+3
| * Depgraph: exprs in affected_lines must appear only once.Fabrice Desclaux2015-03-121-2/+2
* | Merge pull request #109 from p-l-/feature-add.b-semserpilliere2015-03-121-0/+16
|\ \ | |/ |/|
| * MSP430: add semantic for `add.b`Pierre LALET2015-03-121-0/+16
|/
* Merge pull request #107 from serpilliere/split_cpu_vmCamille Mougey2015-03-118-53/+36
|\
| * Jitter: split VmMngr from JitCpuserpilliere2015-03-108-53/+36
|/
* Merge pull request #105 from p-l-/fix-msp430-SR-affectserpilliere2015-03-101-1/+1
|\
| * MSP430 semantic: fix SR affectationPierre LALET2015-03-101-1/+1
|/
* Merge pull request #104 from serpilliere/fix_multi_effectPierre Lalet2015-03-091-10/+11
|\
| * IR: factor identical slices in multi dst effectsserpilliere2015-03-081-10/+11
|/
* Merge pull request #103 from cea-sec/ida-windowsserpilliere2015-03-061-0/+11
|\
| * README: add a workaround for Windows & IDACamille Mougey2015-03-061-0/+11
|/
* Merge pull request #102 from cea-sec/TCC-versionserpilliere2015-03-061-1/+1
|\
| * README: TCC *stable* version should be useCamille Mougey2015-03-061-1/+1
|/
* Merge pull request #101 from commial/faster-depgraphserpilliere2015-03-061-3/+10
|\
| * Depgraph: Clean each `depnodes` to purge and improve search in `done`Ajax2015-03-061-0/+3
| * Depgraph: Modify the inter block `done` data structure to improve membership ...Ajax2015-03-061-3/+4
| * Depgraph: In `filter_used_nodes`, `used_nodes` can be used as a done setAjax2015-03-061-0/+3
|/
* Merge pull request #99 from fmonjalet/translator_z3_cache_fixserpilliere2015-03-061-1/+3
|\
| * TranslatorZ3: now uses its cache (forgotten lines...)Florent Monjalet2015-03-061-1/+3
|/
* Merge pull request #98 from commial/ida-platform-indepserpilliere2015-03-052-2/+6
|\
| * Example/IDA: Replace /tmp/ by tempfile.gettempdir (credits Joel Eriksson)Ajax2015-03-052-2/+6
|/
* Merge pull request #97 from serpilliere/x86_add_stmldmCamille Mougey2015-03-052-0/+7
|\
| * X86/arch: add stmxcsr/ldmxcsrserpilliere2015-03-042-0/+7
|/
* Merge pull request #93 from p-l-/fix-msp430-semserpilliere2015-02-271-4/+4
|\
| * msp430 semantic: fix carry and overflow flags for cmp.* mnemonicsPierre LALET2015-02-271-4/+4
|/
* Merge pull request #92 from commial/fix-null-derefPierre Lalet2015-02-271-0/+5
|\
| * VmMngrPY: Null Deref in `set_mem_access`Ajax2015-02-271-0/+5
|/
* Merge pull request #91 from serpilliere/fix_x86_stack_semCamille Mougey2015-02-273-69/+47
|\
| * X86/sem: fix leave semanticFabrice Desclaux2015-02-271-6/+5
| * Test/X86: updt reg testsFabrice Desclaux2015-02-271-6/+6
| * X86: fix stack manipulators default size (64bit)Fabrice Desclaux2015-02-271-57/+36
|/
* Merge pull request #90 from commial/fix-bin-stream-idaserpilliere2015-02-271-1/+7
|\
| * BinStreamIDA: `getlen` is now lazy, and use the proper IDA APIAjax2015-02-271-1/+7
|/
* Merge pull request #89 from commial/fix-depgraphserpilliere2015-02-241-3/+8
|\
| * DepGraph: Normalize output by including heads from graphCamille Mougey2015-02-241-2/+7
| * Depgraph: results should be copy of `done` elementsCamille Mougey2015-02-241-1/+1
* | Merge pull request #88 from commial/machine-irserpilliere2015-02-242-6/+33
|\ \ | |/ |/|
| * Example/Disasm/Full: Compute IR with & without analysis on `-g`Camille Mougey2015-02-241-6/+17
| * Machine: Export IR (without analyse)Camille Mougey2015-02-241-0/+16
|/
* Merge pull request #87 from p-l-/bugfix-ir-cserpilliere2015-02-241-1/+1
|\
| * ir2C: fix `gen_resolve_int()`Pierre LALET2015-02-241-1/+1
* | Merge pull request #85 from commial/bounded-dictserpilliere2015-02-235-7/+133
|\ \
| * | Jitcore: BounderDict upper bound is now a class attributeCamille Mougey2015-02-231-1/+2