about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add a regression test for DIV 128bitsAjax2017-06-273-0/+29
|
* Expression: add an Expression parserFabrice Desclaux2017-06-142-0/+17
|
* Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => ↵Ajax2017-06-011-0/+5
| | | | @(X+Y)[base + i]
* Test/X86: add push/pop regression testsFabrice Desclaux2017-05-171-1/+194
|
* Merge pull request #553 from commial/feature/symbexec-assignblkserpilliere2017-05-101-0/+4
|\ | | | | SymbolicExecutionEngine .state -> AssignBlock
| * Use and tiny test of .as_assignblock() behaviorAjax2017-05-091-0/+4
| |
* | Fix products filesAjax2017-05-091-15/+18
|/
* Add .items API to AssignBlockAjax2017-04-271-0/+1
|
* Remove absolute sys.pathAjax2017-04-241-3/+0
|
* Remove PYTHONSTARTUP in end-user scriptsAjax2017-04-246-35/+2
|
* Merge pull request #536 from commial/refactor/gcc-default-jitterserpilliere2017-04-211-3/+5
|\ | | | | Refactor/gcc default jitter
| * Introduce a GCC tests, to let no TCC installs able to run more testsAjax2017-04-211-3/+5
| |
* | Remove deprecated use of MatchExprAjax2017-04-211-17/+17
|/
* Example: add irblock simplification exampleFabrice Desclaux2017-04-211-3/+6
|
* Merge pull request #518 from commial/feature/dseserpilliere2017-04-214-3/+120
|\ | | | | Feature/dse
| * Add regression test for DSE on lbl_genAjax2017-04-182-0/+100
| |
| * Add an example illustrating DSEAjax2017-04-181-0/+11
| |
| * TestAll: add support for other executableAjax2017-04-182-3/+9
| |
* | Add regression test for AssignBlockAjax2017-04-202-0/+47
| |
* | IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-202-5/+3
| |
* | Ir: make AssignBlock immutableFabrice Desclaux2017-04-202-3/+5
|/
* Jitter: regression test for post instrFabrice Desclaux2017-04-182-0/+47
|
* Tests: run md5_aarch64l from the very beginningAjax2017-04-061-1/+2
|
* Introduce Sandbox.call, for direct function callingAjax2017-04-061-0/+1
|
* MD5_arm: run from the very beginningAjax2017-04-061-1/+1
|
* Add regression test for command-line/env support in SandboxAjax2017-04-067-0/+52
|
* Introduce a naive "System V" calling conventionAjax2017-04-061-4/+4
|
* Aarch64: fix ldrFabrice Desclaux2017-04-061-1/+7
|
* Expr: fix singleton; add reg testFabrice Desclaux2017-03-312-0/+67
|
* Update regression tests fo ModularIntervals mulAjax2017-03-302-0/+12
|
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-3012-271/+269
|
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-301-20/+20
| | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-292-66/+71
| | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-1311-15/+15
|
* Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next]Fabrice Desclaux2017-03-131-8/+8
|
* Asmbloc: rename asm_constraint to AsmConstraintFabrice Desclaux2017-03-131-9/+9
|
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-135-36/+36
|
* Asmbloc: rename asm_block_bad to AsmBlockBadFabrice Desclaux2017-03-131-3/+3
|
* Asmbloc: rename asm_bloc to AsmBlockFabrice Desclaux2017-03-131-8/+8
|
* All: rename vars bloc -> blockFabrice Desclaux2017-03-134-12/+12
|
* IR: rename blocs to blocksFabrice Desclaux2017-03-132-90/+90
|
* IR/ir: rename ir to IntermediateRepresentationFabrice Desclaux2017-03-131-1/+1
|
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-132-241/+241
|
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-134-11/+11
|
* Merge pull request #496 from commial/feature/expr_rangeserpilliere2017-02-224-0/+253
|\ | | | | Feature/expr range
| * Add regression tests for expr_range, based on z3Ajax2017-02-222-0/+99
| |
| * Add regression tests for ModularIntervalsAjax2017-02-172-0/+150
| | | | | | | | | | | | Some of the tests are deactivated, because they took too much time. These tests have been fully run, and one can choose to only actiavte a subset of them
| * Interval: add .length computationAjax2017-02-131-0/+4
| |
* | Test: add access_c/expr_c exampleFabrice Desclaux2017-02-171-0/+19
| |
* | Tests: add asm humanFabrice Desclaux2017-02-171-0/+4
|/