Sushant Dinesh
Sushant Dinesh
There are some issues when esil computes flags. This bug is to consolidate these and work towards a fix. - [ ] ESIL never sets Adjust Flag (AF) - [...
The current implementation seems pretty stable. It would be a good idea to add more documentation for the same. This bug is essential composed of two tasks: - [ ]...
Right now esil-rs panics when something goes wrong. We need to implement better error handling and return errors to the users who may decide on how to handle this.
With the current esil-rs implementation, I find myself using the following pattern quite regularly. ``` rust // Initializations let mut p = Parser::init(None); while let Some(ref opinfo) = self.instruction_source.next() {...
Currently the following still need to be implemented: - [ ] `GOTO` - [ ] `TODO` - [ ] `LOOP` - [ ] `BREAK` - [ ] `$`
ESIL has evolved to include the following new opcodes. We need to support them: - [ ] `">>>>" ` -- Arithmetic right shift - [ ] `">>>>="` -- Arithmetic right...
Currently, we have the ability to mark nodes as either a scalar (not an address) or a reference (pointer/reference). We'd like to take this a step further and be able...
This affects several analysis (such as `sccp` and `VSA`). We need a way to handle/express signedness in the IR to ensure correct results.
Currently, accessing `Bindings` in `RadecoFunction` is not elegant. We should improve support for this. This should also be extended to improve accessing of type and other node information related to...