b535f6e26e
Introduce Sandbox.call, for direct function calling
2017-04-06 14:26:50 +02:00
dc3a57fd1f
MD5_arm: run from the very beginning
2017-04-06 13:47:38 +02:00
f81c3e4b42
Replace ExprInt[num](x) -> ExprInt(x, num)
2017-03-30 16:04:40 +02:00
5d10f696e0
analysis: Introduction of use-definition chains
...
- previous dead_simp function has been moved to data_flow.py
- ira class has been simplified
- reach analysis code has been 'clarified'
2017-03-29 12:33:05 +02:00
df82c4cd96
Example/full: fix tipo
2017-03-27 21:29:29 +02:00
1b3fcbdda8
Core/asmbloc: move asmbloc to asmblock
2017-03-13 15:07:28 +01:00
8651b88eda
Asmbloc: rename asm_constraint to AsmConstraint
2017-03-13 14:13:14 +01:00
d0727aa74b
Asmbloc: rename asm_label to AsmLabel
2017-03-13 14:13:14 +01:00
287cb1bb18
All: rename vars bloc -> block
2017-03-13 14:13:13 +01:00
c3940991f2
IR: rename blocs to blocks
2017-03-13 14:13:09 +01:00
d8cbc05965
IR/Symbexec: rename symbexec to SymbolicExecutionEngine
2017-03-13 13:56:26 +01:00
de06847ea2
Test: add access_c/expr_c example
2017-02-17 14:53:45 +01:00
f66a44ed97
Tests: add asm human
2017-02-17 14:50:40 +01:00
d30ea37881
Merge pull request #494 from serpilliere/expression_reducer
...
Expression: add ExprReduce
2017-02-13 16:35:18 +01:00
eb7d90bb49
Expression: add ExprReduce
2017-02-13 16:26:05 +01:00
a7c9a7f769
Core/cpu: change ParseAst name
2017-02-13 15:04:25 +01:00
4773ce90e5
Add a tracer example
2017-02-06 18:26:46 +01:00
c1a9a801dc
Example: add raw disasm to full.py
2017-01-12 12:54:06 +01:00
28d0696bea
use python2 as executable name, give adequate permissions
2017-01-05 16:45:17 +01:00
494ba6e2b3
Expr: Remove exprint_from
2016-12-23 15:11:48 +01:00
1db81a6171
Update IDA utils with the new API
2016-11-17 16:28:56 +01:00
3771288cff
ExprCompose: add new api
...
The ExprComposes uses directly its arguments sizes to guess the slices
locations.
Old api: ExprCompose([(a, 0, 32), (b, 32, 64)])
becomes: ExprCompose(a, b)
2016-11-04 16:45:46 +01:00
8979533746
Symbexec: new api for emul_ir_*
...
Replacement:
emul_ir_bloc(self, myir, addr, step=False)
by:
emul_ir_block(self, addr, step=False)
and:
emul_ir_blocs(self, myir, addr, lbl_stop=None, step=False)
by:
emul_ir_blocks(self, addr, lbl_stop=None, step=False)
The 'myir' was already given in the symbolexec creation.
2016-11-04 16:45:46 +01:00
2858e916f3
Tests: add win seh test
2016-08-31 18:34:24 +02:00
a60e8c9b48
Example: updt elfesteem api
2016-07-11 09:26:49 +02:00
09b8308ddd
X86/arch: fix call @imm
2016-04-24 01:25:38 +02:00
b2897bd662
Example/ida/depgraph: add basic stack unaliasing
2016-04-06 12:29:03 +02:00
ae22a569d4
Example/Depgraph: allow lower/upper register tracking
2016-03-22 15:08:23 +01:00
1d9924a4f7
Introduce Container.symbol_pool, containing container symbols (if any)
2016-03-21 16:28:23 +01:00
7ab305601b
Example/Depgraph: add JSON output
2016-03-21 15:09:23 +01:00
02935e7796
Example/dg: fix print solutions
2016-03-21 15:09:22 +01:00
752d7fb00c
Depgraph: updt api
2016-03-21 15:09:22 +01:00
28335f53f7
Test/depgraph: use z3 to remove unsatisfiable solutions
2016-03-17 15:37:14 +01:00
096e0a678b
Test/depgraph: autopep
2016-03-17 15:11:11 +01:00
35ead949d8
AssignBlock
2016-02-26 15:53:53 +01:00
1cb9cbcc2d
Graph: generic html dot code
2016-01-30 21:10:01 +01:00
d6222c4383
Rename BasicBlocks -> AsmCFG, more comprehensible, include "graph"
2016-01-26 17:15:22 +01:00
455cfbe8b7
BasicBlocks: update examples with the new API
2016-01-26 17:09:18 +01:00
195ae36b8f
Move types -> test_types to avoid namespace collision (creds @fmonjalet)
2016-01-25 13:07:45 +01:00
b421c5059f
Types: misleading comment correction in example
2016-01-18 14:05:41 +01:00
36cae74bff
Types: Type size is now a property
2016-01-18 14:02:32 +01:00
bd85479c0c
MemStruct/Types: example on type manipulations
2016-01-18 14:02:31 +01:00
d87a0f8938
MemStruct/Types: pinned renamed to lval
2016-01-18 14:02:31 +01:00
ba2df16277
MemStruct/Types: Renamed analysis.mem to core.types
2016-01-18 14:02:31 +01:00
b3b0b03b4a
MemStruct: Pinned* renamed back to Mem*
2016-01-18 14:02:31 +01:00
31650c36e3
MemStruct: Global doc update
2016-01-18 14:02:31 +01:00
3c8d4335d2
MemStruct: allow Type instance in cast
2016-01-18 14:02:31 +01:00
f21429370a
MemStruct: Str type
2016-01-18 14:02:31 +01:00
2b77be65a2
MemStruct: Array/PinnedArray homogeneity
...
Array access logic has moved to Array, Pinned(Sized)Array just contains
the logic to interface with memory
2016-01-18 14:02:31 +01:00
d19f4c1dbd
MemStruct: big refactor in process
...
Doc is currently incoherent, impl will also be completed
2016-01-18 14:02:31 +01:00
Ajax