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

Allows failure on the nightly build

- TODO: Re-enable constant propagation on test_analysis1. This test causes a
heisenbug (when e...

433fc71bd52c2879a17cb8a968cdd688d4d748ff authored almost 9 years ago

Fixes simple bug in read_variable

b4f5219b2b6983fddf664e6be306f7243179c3aa authored almost 9 years ago

Merge branch 'master' of github.com:radare/radeco-lib

9072db9bb35a3b711a49d753be257fd820077383 authored almost 9 years ago

Temporary commit

abbaac0f0a54902052a6ca4016203967e40c258d authored almost 9 years ago

Finishes first version of the algorithm.

TODO:
- Iron out bugs
- Write tests for this implementation

24a55138d865d4a0497a3b28c11db75704f598d9 authored about 9 years ago

Some minor code cleanup

80a5223c6828b9329e8f77a1db9e69b1eecc0cdd authored about 9 years ago

Removed some deadcode and style fixes

6a36711f6406350069d1ade45d966ba6950252af authored about 9 years ago

Entering point of no return

a3c4cb6bd8dda20c8056b4a066cbbd1fbbe9cca4 authored about 9 years ago

Use remote esil-rs

efdf67c45a6c1a6a2acd9134ecc7eeba88288a99 authored about 9 years ago

Initial commit towards CFG and SSA Unification

5e99125f5a31449f3ce74b608b71475c2b044540 authored about 9 years ago

Fixes warnings

2dd518eda2439e64339c2f8b1bab7e677064999d authored about 9 years ago

Fixes tests

aef7793c8f8403563dd1bd68c8281c44b7614bb1 authored about 9 years ago

Refactors to use r2 from r2pipe

Closes #24

d889009cc9d655992fc1eb4364a48c12df5d6cd1 authored about 9 years ago

Reflects pc -> PC change for ESIL

d598b14bb2459426197041c52c73d26e04c4e104 authored about 9 years ago

Formats with rustftm

2583b53a54440a84375d818b0828ca2972937df2 authored about 9 years ago

Extends logging

3becd4acadca1e8d80e5800f453f95b3e2eb3cec authored over 9 years ago

Removes residual code

9a45e917028df1599812f6d2d266e0aa035cac46 authored over 9 years ago

Implements basic support for logging

7e601b9fbb071a911e3ae325facde0c95066c215 authored over 9 years ago

Merge pull request #20 from radare/load_symbols

Implements new stable indexing and dce

Sets up the stage to load symbols and addresses from r2.

00d277cba3406bfec4a3aacc2a7206bf877acb55 authored over 9 years ago

Fixes DCE. Changes DCE to mark and collect

Removes some deadcode

5b5d581f9215516f92ad154979f7cc13a7b5d04d authored over 9 years ago

Fixes verifier

8c971000af57bd212d2800aca8884732b92ae888 authored over 9 years ago

Performs preliminary cleanup, removes unused code from ssastorage

8a36a86b919930863427b688d12bbdadf6c686dc authored over 9 years ago

Implements BiMap

e1b3ff2a3b1774e5c08afde45b5915f383c644d6 authored over 9 years ago

Completes stage1 for stable indexing.

TODO:
- Fix a few bugs
- Cleanup

c760fb3cadb02355f53b678b790c361880966318 authored over 9 years ago

Initial commit for stable index

bb0faea84629d9b34b29598bdf0ecd5f6592e6d9 authored over 9 years ago

Marks the start for stable indexing

644686fc365465daf4211971182b9f0c8bdd63ac authored over 9 years ago

Simplifies the logic to associate nodes to clusters

a7f3568c9dfe6a4a3f6288eeda485f891642734f authored over 9 years ago

Refactors the dot emmitter to make it more robust

6160749f3e0d452133a3d9cfa6422e5e2649095e authored over 9 years ago

Initial commit for SSAExtras

7e41ec87484d202efc2ad0766e8041aaab8b0dec authored over 9 years ago

Starts work towards loading symbols from r2

72a230e90fdfb11a4acb8a039674cabfa9a0eaa5 authored over 9 years ago

Fixes tests

64bd89b6b2f41e243f19a69a1e46899a60b93da0 authored over 9 years ago

Fixes issue where all stages requested were not dumped

d9d633970acfdecb3255b795f077b43699e95211 authored over 9 years ago

Adds supporting features to utils for radeco

ad4b4dfddeddf3a124dc624a91bad411ae8d1ae4 authored over 9 years ago

Fix for latest r2pipe

0ce164550225977587cae347cf2c3d47ded4da6c authored over 9 years ago

Changes prefix for internal variables

b18bf92c5c1b8d4fe9e707570c701abc2d23a48d authored over 9 years ago

Adds support to get BinInfo

- Removed the lifetime needed on Parser by using String rather than &str

c1dcfda022b3357b1de69d72426ecc07cf9e7183 authored over 9 years ago

Adds changes to reflect changes in r2pipe.rs

Additionally, this commit also adds:
- Support to check if r2 session has been started
- Use exi...

67613e698e9833329e0f0dec6b13ab7ede1dbf02 authored over 9 years ago

Merge pull request #17 from radare/copying

Add license header to every file

2aecbc1f4978352da87df60f27078bdbaba7865a authored over 9 years ago

Adds License to README.md

91d293dfcb0009d9b8e4a1e27fdd8dcfe962ea65 authored over 9 years ago

Adds License header to files

32bbc0a800093b2e9e57fa8f0184e836fcfc67df authored over 9 years ago

Merge branch 'master' of github.com:radare/radeco-lib

a144961fe1892c72f953c3afa3ad29a7b1df38a5 authored over 9 years ago

Add 3 clause BSD License

318ab7653a5d29c743727381ee90cce1520ab3b9 authored over 9 years ago

Fixes an issue with constant propagation

- Fixed issue that assumes all blocks are unreachable. This was primarily due
to values of reg...

c4aee6233b784bc743a3e264d04609b86b2115c4 authored over 9 years ago

ssa{_traits,storage}.rs: More docs

a1f05bce4185282a2e42ab09ed737458a6705964 authored over 9 years ago

verifier.rs: no longer rejects OpWrites for width reasons

regfile.rs: no longer insert redundant OpWiden
phiplacement.rs: assert! → assert_eq!

fe5b1dfbb7741e9f6c2242161b9ac90f85108b70 authored over 9 years ago

Adds support for Runner to specify custom path

d2663185a9fd865de4c307c39cbb7d6c1897a954 authored over 9 years ago

Fixes possible out of bound access in get_operands

0f46d49a88139dbd39f3fa28c102adf7c3934b9a authored over 9 years ago

Removes unwanted println! from lib

2627a8e294943bc0a2ce2c66a00b9f9f9727910b authored over 9 years ago

Fixes minor issues

8d206fd47d75b75ebd41ba0c0fbff5e093335629 authored over 9 years ago

Adds Documentations

- Adds docs to cfg_traits.rs
- Adds crate level documentation

e4d24e377131bdd67b75d22ffc5d5fb1908dbfa5 authored over 9 years ago

WIP: Cleanup and enhancements

- Enhancements to readability in phiplacement.rs
- Cleans up regfile.rs
- Cleans up esilssa.rs
-...

7f6a5b9a037a3ad4d123aae9862138d47b1a3e07 authored over 9 years ago

Fixes small issue with OpCall

1798a128905941080fe76f548cf43c08aea92782 authored over 9 years ago

Adds tachikoma for testing

3f7845f340af152eca110f00d627fd883f4feac9 authored over 9 years ago

Merge branch 'master' of github.com:radare/radeco-lib

303cfa6bc7cf17002eb87188f1aa0d5b6b231b34 authored over 9 years ago

regfile.rs: fix read_variable width bug, and use verified_add_op

2ec978281ac2c9a40a7c02d36e4ee169a8a59bdc authored over 9 years ago

Renames utils::Test to utils::Runner

a5fbce679f18eeda85e96e58f3739bfb24451057 authored over 9 years ago

Moves Pipeline,Test from test/utils -> src/utils/mod.rs

985ee35519d396377097363ac90995a21fc66e86 authored over 9 years ago

Allow to construct r2 from R2Pipe

9844f279909251fd641775b896e226bee6e68723 authored over 9 years ago

parser.rs/phiplacement.rs: three bugfixes

verifier.rs: print invalid operation before panic!

7a942ac35c5199719ed6cc5ff1eb7466c3660a42 authored over 9 years ago

Merge branch 'master' of github.com:radare/radeco-lib

ec26168c50ccec47fd963fd98d7459b96e501e54 authored over 9 years ago

Improves errors and messages

- Adds Debug trait to SSAConstruction and Verifier
- Adds Debug for SSAStorage
- Removed several...

b16c350dc189d36bb745a1f8bfbe348d07218f7f authored over 9 years ago

esilssa.rs: Shift register indices up by one to make space for lastsz

2fe8a4ccafe3192e23fafa35479bccf2b826449d authored over 9 years ago

esilssa.rs: Since all flags are handled now, this code no longer needs to tolerate leftover MValType::Internals.

8cd32cc0a1e1483f4dfe4c361c0f062a07d81ed4 authored over 9 years ago

Adds support for esil %o

6366ebb8ac90f8b21fd7ad97f433ac8143f0988f authored over 9 years ago

verifier.rs: Replace panic!() by return Err()

bee00571abd4e20ea55f0fc049049a4a3ab886e7 authored over 9 years ago

Merge branch 'rustc'

83fae4ef9dd1af0fd580e804178d5d2324fd0417 authored over 9 years ago

ValueTypes on all expression types

2d8dc545e87b144a54651808d422dbfa1a24fd99 authored over 9 years ago

committing everything for reporting rustc bug

33aa95f3c7bed94cbbd53763342e006dddd9a457 authored over 9 years ago

verify.rs: false negative on invalid opcodes, false positive on Op{Lt,Gt}[eq]

ssa_traits.rs: removed unused NodeType::Comment

b3846d9a020bf4a570610a0c68f77bfd3460d873 authored over 9 years ago

Verify nodes on insertion

1468cf10fff6c608d33ff3e7a4d75b3587b3cc69 authored over 9 years ago

Merge branch 'master' of github.com:radare/radeco-lib

a8198cf2099e1ce0bcd475e62e0d53b357415a52 authored over 9 years ago

WIP: Adds some fixes and debugs

7fe0dcaa9066edc9e02932b0486e048edeedab4f authored over 9 years ago

phiplacement.rs: assertion that write_variable may only be called on sealed blocks was too strict

esilssa.rs: make sure cur/old values are always 64 bit integers

2ab32c568bb1b002ea2e0c2071198c05133d3684 authored over 9 years ago

phiplacement.rs: assertion that write_variable may only be called on sealed blocks was too strict

esilssa.rs: make sure cur/old values are always 64 bit integers

8eb3ba6edade0f96af1963919f27369fb9269410 authored over 9 years ago

Merge branch 'master' of github.com:radare/radeco-lib

0ff2952ef912ccf6bc5f2050329bc2d3398f433e authored over 9 years ago

Adds verifier to the pipeline

- Adds lot of debug message. To be removed later.
- WIP: Identify and eliminate bugs in SSA Cons...

69c375b4ecb65d3425ecff99ca8b18b0e6d3f307 authored over 9 years ago

Adds support for handling esil '%s'

- Introduces lastsz to keep track of esil->lastsz
- Adds support for the same in esilssa.rs and ...

a45d2fe89dcf75f2323021b8f3c012141a246462 authored over 9 years ago

last commit was broken

7a4e4bbe45b4b77788b53397f7774653608ae596 authored over 9 years ago

verifier.rs: slight refactoring

1f8d85b4615d544606251da72a2de67f22311464 authored over 9 years ago

Doc update [ci skip]

985b0c54c786254f2b297f7734e2ac9826e2e7c7 authored over 9 years ago

More documentation

a46c5470bcb33dd1393f8c68eabbfe287a38663e authored over 9 years ago

middle/regfile.rs: Added documentation

08598b32f58a8a36411b1092295c771449e713f7 authored over 9 years ago

WIP: Implements verify_block

- Adds lints to ignore warnings

a2bb0ab8e1af387654103ae83296ca61007ff028 authored over 9 years ago

Removes the use of {ssa_traits, ssastorage}::NodeData::Const

This is now completely replaced by MOpcode::Const(u64)

385492d94114bbc69a8845284aa01ca329d3f23e authored over 9 years ago

Removes 'tachikoma' test

7e928fefd763caaeae0b54b03245077567fa7bfe authored over 9 years ago

SCCP removes edges and block

87045bc6fbb216a5151443774583bdd81b2c33ac authored over 9 years ago

Improves const prop by marking edges executable

- Switched to make sccp mark edges rather than nodes
- Added helpers for accessing edge information

ed277eaf981ca4b8b5069094d4f86cba2f874cc1 authored over 9 years ago

Merge branch 'master' of github.com:radare/radeco-lib

8e86b8a886fa2160a7a20c58c852fb90e874e773 authored over 9 years ago

SSAStorage: block removal can make predecessors lose selectors

f38a232a1c0510445bcba1cd80e2e49a8c308c76 authored over 9 years ago

Aim to fix travis badge

b29fe267cd2ec4ea451fa46145f0cfd7ba3a869f authored over 9 years ago

Implements part 1/3 completion of const prop

- Added a few methods to SSA trait as helpers
- SSCP now removes correct blocks based on analysi...

c6d5db65381a85f0edd670e9625269cc85205b9c authored over 9 years ago

Rename crate name to `radeco_lib`

fe3b508a4f4f70b19d4fa17d9a6db57d2f84a3c9 authored over 9 years ago

Rename crate name to `radeco_lib`

d5f971866d46ca9641dd03b2913ef2b26b5e6d17 authored over 9 years ago

Merge branch 'master' of github.com:radare/radeco-lib

86b1b6b9f2e00141752d175c735b9730e8c5e696 authored over 9 years ago

Introduce the DynamicAction node type (that is distinct from BasicBlock) for exits.

remove_block() didn't remove blocks until now, and will now refuse to delete exits.

173c790e8473285b385d2c1559f756cc7c6ba06d authored over 9 years ago

Update README for renamed repository

99d714c002b9d282628e8abd6ae563ab62590992 authored over 9 years ago

Adds example binary and asm for const prop

cb344fd40af08d37dd9729a8eea77bfb86b8e0fb authored over 9 years ago

Adds test_analysis2 for const prop

- const prop now tries to remove blocks
- Fixed 2 bugs that caused overflows
- small hack to ski...

9536474a0727f0e670ddeb79658aea4cbb0ae31d authored over 9 years ago

CFGMod/SSAStorage: add remove_block method

7184c462662a23b526e460cfa476fcf93b97639b authored over 9 years ago

Hack to show register names on formed undefined nodes.

4a383503c28bf99fb194c27263290312931f9124 authored over 9 years ago