github.com/radareorg/radeco commits | Ecosyste.ms: OpenCollective

Add project layout

6a25a69033854f82075d7cd16f12ead0f439f1b4 authored over 6 years ago

Minor fixes

b81297bedbb6d11cfe49e18a45ea8af6e3d880db authored over 6 years ago

Fix bugs

3514b592471e10f70080c94f37d9438451a9dcb0 authored over 6 years ago

WIP Impl verify_prepare

e4e791d7f9d8e73a9e23c8e72cc9b2cf3ae4d9b6 authored over 6 years ago

WIP add loader for test

4ead2a0acf7b376a0a0ea24bfb01cc2164bed89a authored over 6 years ago

Add verify_handler_each_node

8104b331bdd9043917e5c6c49c2a877260c41a92 authored over 6 years ago

Refine verifier, comments

3f3bd07179694a1d9787c6c6e0e3299699110175 authored over 6 years ago

Minor fixes

511886c7f15ecc8602e367c4ea71ea3c78e40b15 authored over 6 years ago

Finish verification

9f148ad32dab923b78af144e7201833277278951 authored over 6 years ago

Minor fixes

c00dc715a0c3165467d121a32b09dab2f193c8ed authored over 6 years ago

WIP add verifiers

6948b832a38ac203b46d6adc5b6846a7cd2e0a55 authored over 6 years ago

Add test function of CASTBuilder

d2b600b596fd5e528ecaff2d68df1d88b3520a8e authored over 6 years ago

WIP impl verify_assign, verify_*_at

69932a6fb951b364f35aa6d0ded5f9a64fd03dec authored over 6 years ago

Fix test

0fde6134ff13d8c948ddd81bc5484575428d5105 authored over 6 years ago

Impl verify_handle_{binop, uniop, cast}

e1d7ca58bb68a7ca95ddeb1b6fd00a752a5175ab authored over 6 years ago

[ctrl_flow_struct] More cleanup

27e21f912e2d196941594c96c6b3f21081d89264 authored over 6 years ago

[ctrl_flow_struct] Fix handling of functions with multiple returns

e099607f0a3e68b5530f9b096944c17d8dcba3dc authored over 6 years ago

[ctrl_flow_struct] Add AST test

fd3bfb4b839cc840b9c3395ff5ae1fd4ae4276c4 authored over 6 years ago

[condition] Implement more aggressive simplifications

Each condition now also stores its own negation so we can easily find the
negation of an express...

285ec429163677141cd4edd955f8fa4ac59f2abd authored over 6 years ago

[ctrl_flow_struct] Fix if-then-else structuring

a3f7d4806fd7cb88ea5a3fd910a1e2b5792e13a4 authored over 6 years ago

[ctrl_flow_struct] Implement if-then-else structuring with graphs

4c5f6ae94ce915b7137f68f9203b04c032763f66 authored over 6 years ago

[ctrl_flow_struct] Document and more cleanup

d3c2f8aed9d1eabf0c4b8c46b754844a49755015 authored over 6 years ago

[ctrl_flow_struct] Implement reachability-based refinements

e691d828d6c87582dfe62680c0f64220eba5201f authored over 6 years ago

[ctrl_flow_struct] Add tentative AST test for switch statements

0cb3e59b5b150965f77103cd290c787d87dbbc10 authored over 6 years ago

[ctrl_flow_struct] Cleanup

efa88614b5317330a81c9f35fd011c0c9ab0f00a authored over 6 years ago

[ctrl_flow_struct] Implement some trivial simplifications

2c07e6132147da413809607a9bce7c206b14b53c authored over 6 years ago

[ctrl_flow_struct] Implement grouping by every node's condition

abf7e59a4cf36b48b1eb9847a26c1541d6e85c63 authored over 6 years ago

[ctrl_flow_struct] Add AST test for if-else cascades

784944e798954668139c756bbdd5408510b27472 authored over 6 years ago

[ctrl_flow_struct] Implement if-then-else structuring poorly

Currently, this just sticks the new nodes at the end, which almost certainly
will break the topo...

eedeca25864e574d5e69bc92cd5687f8b40a2c57 authored over 6 years ago

Add RadecoModule::strings

7a9274c6fe5cf30a552f6290af3564a07c4ae5c3 authored over 6 years ago

Replace addr with string

cec7bb7558039abeb2270fba84fcc859a7a0e351 authored over 6 years ago

Remove unneccessary comment

d6195efda77118459205883ee83f1e8cfb8ae11f authored over 6 years ago

Add SimpleCASTVerifier

82fc21365cfe327b447703c34363ccbd1f6db6e9 authored over 6 years ago

Impl verify goto

156a982607da44cf062387075e3b864469b9e192 authored over 6 years ago

Minor fixes

6b790247a0eae290e803c50bcbcada89dbc82842 authored over 6 years ago

Add verifier to tests

a0c7f2e8e25c44bd4a805231becb749d012ab023 authored over 6 years ago

Remove a verifier

5d1cc6a70caf8584820c6a618c303440ba5b1764 authored over 6 years ago

Fix verifier

78dc6eca30887f640909caaa59395d4c39feb136 authored over 6 years ago

Impl verify edge-action

c453b8dd1c78f423eec41555b896ff0754b32b7a authored over 6 years ago

Change GotoDst to ActionEdge

ff404854318c3c913935043e332eaf292f66015b authored over 6 years ago

Impl verify if

42b42a5e9c011cb3550474c56aa1ed96e4303b8c authored over 6 years ago

Fix comments

841917f4b0c4bbc04cc93a767b59def0be9ace74 authored over 6 years ago

Add return value, sort arguments

b1b700d30894669ed7d115b4f4f414c976beb253 authored over 6 years ago

Fix broken debug output

daacd818248fa3223824c65a5c8edb3d78b0cbf6 authored over 6 years ago

Add function name table

13897f0281e8c1bc157a0733772f9308dc667105 authored over 6 years ago

Add arguments of function call

cc1b7ecbea4d6c6562076b2590785334ec96a692 authored over 6 years ago

WIP add callee function name

249f562e7b7be4919011e69affe18ff20ecbd971 authored over 6 years ago

[condition] Implement complementation and cover

ef1e974fbec878b1b68e17a761490d1acdacf0d4 authored over 6 years ago

[condition] Clean up and document public API

b1c2228fb3eb91bd9049a6b881e8e44fef300742 authored over 6 years ago

[condition] Refactor

- Make "viewing" a variable as a single operand operation explicit.
- Abstract removing an opera...

b1c8a98477ee3841c8a481c1b453c2e7e08204b3 authored over 6 years ago

[condition] Implement "undistributing"

f5b798b735441abca0908b1e621ca5f88978e384 authored over 6 years ago

[condition] Implement some basic simplifications

8e407a549c536061966e70102c7da0e6b0cfbf26 authored over 6 years ago

[ctrl_flow_struct] Rename tests to test

276de25db204e43701879b77c1adecf76a05ca4f authored over 6 years ago

Fix URLs in README

9f6a19baaede34a14fc8f23ac7986ca676f4e3c5 authored over 6 years ago

Replace `is_debug` with `cfg!(feature = "trace_log")`

46a42aab657c1061268a289a00ef35f30b24feaf authored over 6 years ago

Add debug output

c477693e7882459e91ced3469a0df99a97070103 authored over 6 years ago

Fix filepath

b386312b5f29e6a254bcd90c0e47527c63d16eb8 authored over 6 years ago

Remove `*` from variables

ddab0395f1e06be0d8345cc864a2511d0c9aa184 authored over 6 years ago

add RadecoFunction::mark_locals

63877d252722607a6df6a5f71f2682c129131d0f authored over 6 years ago

Comment `inst_combine::run` out

0c382cf426fb1cc307c00a6253460627132102c0 authored over 6 years ago

Move mark_locals, add mark_args

132d35d8bcaef46ca4e9f5f9688ae2b8df225dfe authored over 6 years ago

Remove deplicate declaration

ddfeacc3fc4a42be037267a9c4acfbf06fc3f965 authored over 6 years ago

Revert "Comment `inst_combine::run` out"

This reverts commit bc9b1980ac01cdde4c422b208aefb788dbb2d03c.

2cce8a2a963488583f98ab893a5571ebbd5081df authored over 6 years ago

Rename variables

dec3f1ef328d1d13944b9e59717db66e50f94de4 authored over 6 years ago

Add Goto statement instead of If

945defadba6ed8aa332a51ae200a7538d3828b44 authored over 6 years ago

Impl goto, if statement

b66ba75ceab046afd71176580851a1820d0fe81f authored over 6 years ago

Fix filter out dummy gotos, OpNot

ac4dd6e99141dcccac6f71e174f3bff10045b26c authored over 6 years ago

Remove nomeaning goto

97b40af530ff220917426328a5f1d6e1510562f0 authored over 6 years ago

Remove no meaning lines

5188466f458fbfeee516cf1d464602c6c8cbb10f authored over 6 years ago

Minor fixes

8b412791543d2d10543367258f8bd9e076bd3e32 authored over 6 years ago

Stop handling if-else

483834c7435e317655a7999a83da8f1cdf6d92d5 authored over 6 years ago

Add is_implicit flag to SimpleCAST::vars, consts, exprs

8f9fc6c85acb8c5e5737f47356ebdfe0cdd8ab0f authored over 6 years ago

Split some processes into functions

a3ffb77594abb23c4e625f448e17e3fb672b60a8 authored over 6 years ago

Fix goto label bug

13655b85091a3ec750194bc69c64638184212950 authored over 6 years ago

Impl if-then

534d717e741fe0aa5aadc53eb0f98bf7ffede7e5 authored over 6 years ago

Impl insert_goto_before

66c06c60f3cb0e284a5131836fcddd3a3ba32354 authored over 6 years ago

Fix tests

62a73e1e8da9d443fd5d8e15e932240d55ccea69 authored over 6 years ago

Fix panic

676b2a5d4425d461bf77b4fd5dbdf2aa4b9d5622 authored over 6 years ago

Fix compile error

a39e652c08142a38754cf379537b5aaa161bf62d authored over 6 years ago

Move CASTBuilder to c_simple_ast_bulider

9d8d2e9b68fbd14e928fc884029d5571b8d9119e authored over 6 years ago

WIP Impl cfg recovery

15d5f2f81f108776ee929449836f5b277fd76c25 authored over 6 years ago

replace some ssa nodes with register nodes

2b0dd5f1fe3c8d38df5ddcb54b8b3cf3c6dc1daa authored over 6 years ago

Add doc comment

838a79a561b4e565b6d90abd7974035b9c4abe7c authored over 6 years ago

Fix comment in expect

fad1d38beb59f88728ecdf01992f00d3a66b8b9e authored over 6 years ago

Add register/const node to SimpleCAST

c016fbe0faf4601e8967f0b8edf09cc087b59a64 authored over 6 years ago

Add description of module `c_simple_ast_builder`

4920b9f27f530f4660d08e3a3c6ed77b975f07b0 authored over 6 years ago

Change accessibility of structs in c_simple_ast_builder

3bdc25cd18f548d37cd9af1a0bb39818ad1a4620 authored over 6 years ago

Refine comments, implementations

3ecf9efcac78abc4498d0199521bcdadb644ac27 authored over 6 years ago

Flatten directory of output of minidec

7c1a779869978edaefb0330d668f64edd85b28e6 authored over 6 years ago

add CASTBuilder::handle_phi

9bad09ac70fcb728bc5aa452a325abf14b0ac99a authored over 6 years ago

Add c_simple::Expr::Cast, DeRef

6cdb9a569e05fccb95aff7f6de4c32f927dabb79 authored over 6 years ago

Emit dummy output

8cdf6971e101e324c71916003dde4f1ba6215d62 authored over 6 years ago

Split recovery process into dataflow and controlflow recovery

e09f97d63fd5ff5da269c1726b567ae2975aa2ce authored over 6 years ago

Add ValueManager, ValueExpr

66ca09acb7c447032e5ad1f03c2ef985ae41c943 authored over 6 years ago

Add constant value to SimpleCAST, minor fixes

fbd44b5de7f5afccad7651aef3365491a2e62940 authored over 6 years ago

split functions

2eed128856677d972f666b183271c919de862a55 authored over 6 years ago

Impl cfg recovery

47c9c27cb8c1fca6a4eaaf387cfecbe009394ba9 authored over 6 years ago

Emit psuedo-C code in minidec

b47d3bb347ad6094b79b5eadd9734a393b8761d0 authored over 6 years ago

Add functions for iterating SSAStorage's blocks

ac51d5ffb04683def62ab233fe4c0143952f199f authored over 6 years ago

Fix compile error

70d1705a745e5fce6bb53d61ba7f1a7ffe8c1deb authored over 6 years ago