rellic

rellic copied to clipboard

Bring `ast_unit`, `ast_ctx`, `ast` into `dec_ctx`

1

frabert

Update anghabench-cron-jobs.yml

2

* Use env DEBIAN_FRONTEND=noninteractive to prevent silly apt-get timeout waiting for input

artemdinaburg

From #288 > The new condition-based refinement pass is fine IMO. Better and simpler than the previous version, but might miss some structurization opportunities compared to the version in No...

frabert

With #289 we generate pseudo function calls in place of emitting inline asm. Actually producing asm statements requires parsing the constraints string and matching the arguments.

frabert

Add plug point for treating arguments as locals

8

Also additional method for changing variable type for `alloca`s

frabert

Fix issue #325

14

frabert

Rellic produces semantically non-equivalent code

1

##### Used version: 0.2.3. (current) ##### Reproducer: ```c #include int main(int argc, const char** argv) { int i = argc; if ( i == 1 ) { // no args...

vmihalko

Fix large literals

4

frabert

rellic decompilation failure

16

F20230510 17:32:52.513430 15913 ASTBuilder.cpp:158] Check failed: val.getBitWidth() == ctx.getIntWidth(type) (128 vs. 64) *** Check failure stack trace: *** @ 0x5dd39c google::LogMessageFatal::~LogMessageFatal() @ 0x5c3501 rellic::ASTBuilder::CreateIntLit() @ 0x5c3557 rellic::ASTBuilder::CreateAdjustedIntLit() @ 0x4c60f0 rellic::ASTBuilder::CreateAdjustedIntLit()...

0x410c

Add citation information to the README

1

frabert