| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | Use and tiny test of .as_assignblock() behavior | Ajax | 2017-05-09 | 1 | -0/+4 | |
| | | | ||||||
| * | | Fix products files | Ajax | 2017-05-09 | 1 | -15/+18 | |
| |/ | ||||||
| * | Add .items API to AssignBlock | Ajax | 2017-04-27 | 1 | -0/+1 | |
| | | ||||||
| * | Remove absolute sys.path | Ajax | 2017-04-24 | 1 | -3/+0 | |
| | | ||||||
| * | Remove PYTHONSTARTUP in end-user scripts | Ajax | 2017-04-24 | 6 | -35/+2 | |
| | | ||||||
| * | Merge pull request #536 from commial/refactor/gcc-default-jitter | serpilliere | 2017-04-21 | 1 | -3/+5 | |
| |\ | | | | | Refactor/gcc default jitter | |||||
| | * | Introduce a GCC tests, to let no TCC installs able to run more tests | Ajax | 2017-04-21 | 1 | -3/+5 | |
| | | | ||||||
| * | | Remove deprecated use of MatchExpr | Ajax | 2017-04-21 | 1 | -17/+17 | |
| |/ | ||||||
| * | Example: add irblock simplification example | Fabrice Desclaux | 2017-04-21 | 1 | -3/+6 | |
| | | ||||||
| * | Merge pull request #518 from commial/feature/dse | serpilliere | 2017-04-21 | 4 | -3/+120 | |
| |\ | | | | | Feature/dse | |||||
| | * | Add regression test for DSE on lbl_gen | Ajax | 2017-04-18 | 2 | -0/+100 | |
| | | | ||||||
| | * | Add an example illustrating DSE | Ajax | 2017-04-18 | 1 | -0/+11 | |
| | | | ||||||
| | * | TestAll: add support for other executable | Ajax | 2017-04-18 | 2 | -3/+9 | |
| | | | ||||||
| * | | Add regression test for AssignBlock | Ajax | 2017-04-20 | 2 | -0/+47 | |
| | | | ||||||
| * | | IRBlock: move lines in AssignBlock | Fabrice Desclaux | 2017-04-20 | 2 | -5/+3 | |
| | | | ||||||
| * | | Ir: make AssignBlock immutable | Fabrice Desclaux | 2017-04-20 | 2 | -3/+5 | |
| |/ | ||||||
| * | Jitter: regression test for post instr | Fabrice Desclaux | 2017-04-18 | 2 | -0/+47 | |
| | | ||||||
| * | Tests: run md5_aarch64l from the very beginning | Ajax | 2017-04-06 | 1 | -1/+2 | |
| | | ||||||
| * | Introduce Sandbox.call, for direct function calling | Ajax | 2017-04-06 | 1 | -0/+1 | |
| | | ||||||
| * | MD5_arm: run from the very beginning | Ajax | 2017-04-06 | 1 | -1/+1 | |
| | | ||||||
| * | Add regression test for command-line/env support in Sandbox | Ajax | 2017-04-06 | 7 | -0/+52 | |
| | | ||||||
| * | Introduce a naive "System V" calling convention | Ajax | 2017-04-06 | 1 | -4/+4 | |
| | | ||||||
| * | Aarch64: fix ldr | Fabrice Desclaux | 2017-04-06 | 1 | -1/+7 | |
| | | ||||||
| * | Expr: fix singleton; add reg test | Fabrice Desclaux | 2017-03-31 | 2 | -0/+67 | |
| | | ||||||
| * | Update regression tests fo ModularIntervals mul | Ajax | 2017-03-30 | 2 | -0/+12 | |
| | | ||||||
| * | Replace ExprInt[num](x) -> ExprInt(x, num) | Ajax | 2017-03-30 | 12 | -271/+269 | |
| | | ||||||
| * | Let ExprInt always use its Singleton capabilities | Ajax | 2017-03-30 | 1 | -20/+20 | |
| | | | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision | |||||
| * | analysis: Introduction of use-definition chains | Caroline Leman | 2017-03-29 | 2 | -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 asmblock | Fabrice Desclaux | 2017-03-13 | 11 | -15/+15 | |
| | | ||||||
| * | Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next] | Fabrice Desclaux | 2017-03-13 | 1 | -8/+8 | |
| | | ||||||
| * | Asmbloc: rename asm_constraint to AsmConstraint | Fabrice Desclaux | 2017-03-13 | 1 | -9/+9 | |
| | | ||||||
| * | Asmbloc: rename asm_label to AsmLabel | Fabrice Desclaux | 2017-03-13 | 5 | -36/+36 | |
| | | ||||||
| * | Asmbloc: rename asm_block_bad to AsmBlockBad | Fabrice Desclaux | 2017-03-13 | 1 | -3/+3 | |
| | | ||||||
| * | Asmbloc: rename asm_bloc to AsmBlock | Fabrice Desclaux | 2017-03-13 | 1 | -8/+8 | |
| | | ||||||
| * | All: rename vars bloc -> block | Fabrice Desclaux | 2017-03-13 | 4 | -12/+12 | |
| | | ||||||
| * | IR: rename blocs to blocks | Fabrice Desclaux | 2017-03-13 | 2 | -90/+90 | |
| | | ||||||
| * | IR/ir: rename ir to IntermediateRepresentation | Fabrice Desclaux | 2017-03-13 | 1 | -1/+1 | |
| | | ||||||
| * | IR/ir: rename irbloc to IRBlock | Fabrice Desclaux | 2017-03-13 | 2 | -241/+241 | |
| | | ||||||
| * | IR/Symbexec: rename symbexec to SymbolicExecutionEngine | Fabrice Desclaux | 2017-03-13 | 4 | -11/+11 | |
| | | ||||||
| * | Merge pull request #496 from commial/feature/expr_range | serpilliere | 2017-02-22 | 4 | -0/+253 | |
| |\ | | | | | Feature/expr range | |||||
| | * | Add regression tests for expr_range, based on z3 | Ajax | 2017-02-22 | 2 | -0/+99 | |
| | | | ||||||
| | * | Add regression tests for ModularIntervals | Ajax | 2017-02-17 | 2 | -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 computation | Ajax | 2017-02-13 | 1 | -0/+4 | |
| | | | ||||||
| * | | Test: add access_c/expr_c example | Fabrice Desclaux | 2017-02-17 | 1 | -0/+19 | |
| | | | ||||||
| * | | Tests: add asm human | Fabrice Desclaux | 2017-02-17 | 1 | -0/+4 | |
| |/ | ||||||
| * | Merge pull request #494 from serpilliere/expression_reducer | Camille Mougey | 2017-02-13 | 1 | -0/+1 | |
| |\ | | | | | Expression: add ExprReduce | |||||
| | * | Expression: add ExprReduce | Fabrice Desclaux | 2017-02-13 | 1 | -0/+1 | |
| | | | ||||||
| * | | Core/cpu: change ParseAst name | Fabrice Desclaux | 2017-02-13 | 4 | -5/+5 | |
| |/ | ||||||
| * | Add a tracer example | Ajax | 2017-02-06 | 1 | -0/+2 | |
| | | ||||||
| * | X86: add pslldq | Fabrice Desclaux | 2017-02-03 | 1 | -0/+3 | |
| | | ||||||