Comments (5)
I think I'll have to file this one under "won't fix" -- there is no clear way to express the kind of behavior LLVM expects with regards to exception handling in pure C.
from rellic.
Okay, would it be feasible to get
rellic
to simply ignore (maybe with a message?) a routine it cannot support, while still translating the routines it does?Right now, if any routine uses
invoke
, then the whole file cannot be translated; having a “best attempt, sacrificing routines we don’t support” would be very handy.
I'd say it would be feasible but out of scope for Rellic. This would be akin to modifying the bitcode before going into Rellic itself, which is something downstream users should be able to do relatively easily: it's essentially an LLVM pass that goes through every function that contains invoke
or landing pads and deletes its body/substitutes it with an unreachable
instruction.
Also, should the error message for this one be changed then? It isn’t really “yet” if it won’t ever be supported :)
Heh that's a fair point. I guess it's not really "it won't ever be supported" as much as it is a "we don't know what this looks like yet".
Right now we don't really have an internal use for Rellic anymore so it's not receiving active updates, but if we did want to support exceptions we'd need to think about the fact that there's probably multiple ways to represent them in C (setjmp
/longjmp
, or maybe straight-up emitting C++) and the users will probably want to have a way to configure Rellic's behavior.
from rellic.
Sure, that wording may be too strong. The GitHub button says "Close as not planned" and I'd say that's the perfect description: we are not planning on implementing this feature in the foreseeable future :)
from rellic.
Okay, would it be feasible to get rellic
to simply ignore (maybe with a message?) a routine it cannot support, while still translating the routines it does?
Right now, if any routine uses invoke
, then the whole file cannot be translated; having a “best attempt, sacrificing routines we don’t support” would be very handy.
Also, should the error message for this one be changed then? It isn’t really “yet” if it won’t ever be supported :)
from rellic.
Thanks for the feedback, @frabert!
I'd say it would be feasible but out of scope for Rellic.
Okay, understood.
Heh that's a fair point. I guess it's not really "it won't ever be supported" as much as it is a "we don't know what this looks like yet".
Maybe it isn't "won't fix" but more "highly non-trivial and something we're nowhere near addressing" then? That can collide in practical terms with "won't fix", but does actually have a different meaning.
from rellic.
Related Issues (20)
- Could `NestedCondProp` also propagate `while` conditions?
- Move invalid store handling to an LLVM pass
- memcpy intrinsic tests failing on ARM64 with LLVM-13 HOT 3
- Remove 'compat' code
- Invalid operand in IRToASTVisitor.cpp:264 HOT 2
- Globals should be sorted using a topological ordering HOT 1
- Ideas for refinement pass improvements / new refinement passes HOT 1
- Probable bug in `LoopRefine` HOT 4
- Inline asm is treated as extern functions and discarded
- Investigate reworking CBR and RBR to match Dream
- Anvill to Rellic does not compile HOT 1
- Improve README
- Canonicalization pass
- Use new user-extension points to inject debug info
- Scheduled CI runs are failing
- rellic decompilation failure HOT 17
- Rellic produces semantically non-equivalent code HOT 1
- Assertion `NewParamInfo.size() == getNumParams() && "Parameter count mismatch!"` failed. HOT 3
- Crash with message "Invalid z3 op" on an IR file. HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from rellic.