about summary refs log tree commit diff stats
path: root/example/expression/basic_simplification.py (unfollow)
Commit message (Expand)AuthorFilesLines
2017-05-15Core/Objc: improuve internal type representationFabrice Desclaux5-416/+1095
2017-05-09Use and tiny test of .as_assignblock() behaviorAjax2-2/+7
2017-05-09Add .as_assignblock() for SymbolicExecutionEngineAjax1-0/+7
2017-05-09Add a few log to str manipulation functionsAjax1-1/+5
2017-05-09Fix strcpyn behavior at limitAjax1-2/+4
2017-05-09List all untracked file after test_all (should be empty)Ajax1-1/+1
2017-05-09Fix products filesAjax1-15/+18
2017-05-09Complete the docstring of AssignBlockAjax1-1/+7
2017-05-09Add a sanity check for AssignBlock (dst must be Id or Mem)Ajax1-0/+4
2017-05-09Example: fix tipoFabrice Desclaux1-1/+1
2017-05-09Translator: add rol/ror for pythonFabrice Desclaux1-0/+14
2017-05-07Example: fix simplify argumentFabrice Desclaux1-1/+1
2017-05-01Expression: Forbid mix between Expr and int/longFabrice Desclaux1-1/+24
2017-04-27arch/x86/jit.py: Update pc as well as EIP in ret_cdeclCaroline Leman1-1/+1
2017-04-27Add .items API to AssignBlockAjax2-0/+4
2017-04-25Jitter: Error on reg set not intFabrice Desclaux2-8/+9
2017-04-25Jitter: clean codeFabrice Desclaux1-19/+42
2017-04-25IDA: handle generated labels in depgraphAjax1-1/+7
2017-04-25IDA: fix depgraph for immutable AssignBlockAjax1-8/+12
2017-04-25IDA: fix graph_ir for immutable AssignBlockAjax1-6/+9
2017-04-24Jitter: fix log mn regsFabrice Desclaux1-1/+1
2017-04-24Jitter: sanitize codeFabrice Desclaux6-53/+50
2017-04-24Remove absolute sys.pathAjax1-3/+0
2017-04-24Remove PYTHONSTARTUP in end-user scriptsAjax15-88/+3
2017-04-24x86_64: add stdcall ABI call prepare (for sb.call to work)Ajax1-1/+12
2017-04-24x86_32: fix fastcall (ret_addr is the last to be pushed)Ajax1-1/+1
2017-04-21Introduce a GCC tests, to let no TCC installs able to run more testsAjax1-3/+5
2017-04-21Let GCC be the default jitterAjax5-10/+10
2017-04-21DSE: support absence of z3Ajax1-2/+9
2017-04-21Remove deprecated use of MatchExprAjax6-48/+47
2017-04-21Expression: cleanFabrice Desclaux1-232/+240
2017-04-21Errata: fix exprmatch namesFabrice Desclaux1-50/+50
2017-04-21Example: add irblock simplification exampleFabrice Desclaux3-5/+36
2017-04-21Graph: add discard_edgeFabrice Desclaux1-0/+5
2017-04-21Ir: Add ir graph helpersFabrice Desclaux2-30/+142
2017-04-21Expression: remove unused SearchExprFabrice Desclaux1-14/+0
2017-04-21Expression: clean MatchExprFabrice Desclaux1-51/+45
2017-04-21set breakpoint handler in ntdll_LdrGetProcedureAddress()Aymeric Vincent1-0/+1
2017-04-20Fix wrong add_memory_page docstringAjax1-1/+1
2017-04-20Add regression test for AssignBlockAjax2-0/+47
2017-04-20AssignBlock: add simplification facilityAjax1-0/+12
2017-04-20AssignBlock: add a few commentAjax1-1/+13
2017-04-20IRBlock: move lines in AssignBlockFabrice Desclaux14-63/+61
2017-04-20Ir: clean codeFabrice Desclaux1-52/+51
2017-04-20Ir: make AssignBlock immutableFabrice Desclaux10-174/+249
2017-04-18X86_32: Add fastcall abiFabrice Desclaux1-0/+27
2017-04-18Add regression test for DSE on lbl_genAjax2-0/+100
2017-04-18Handle symbolic exec stuck on lbl_genAjax1-38/+61
2017-04-18Add an example illustrating DSEAjax3-0/+425
2017-04-18TestAll: add support for other executableAjax2-3/+9