Henrich Lauko
Henrich Lauko
Related to #315
Hi, @surovic have started building https://improved-adventure-19r28l5.pages.github.io/ However nobody touched it for a while. I would like to have something similar to [clangir](https://llvm.github.io/clangir//). That is to generate docs from MLIR tablegen...
You can create a discussion thread here on GH, or keep it in this issue.
As mentioned on meeting, we might cooperate on this :) @Jezurko will be working on more general solution for AA and points-to analysis. He will be experimenting in https://github.com/Jezurko/potato Ideally...
I think the best approach would be to design a generic transformation, that given a typedef name and some middle level type (e.g., `ml::Time`) it replaces the high-level typedef. So...
We should have UI (probably python API) for people to create these kind of type-bindings.
What do you think should happen when you have: ``` time_t time; int casted = (int)time; ``` do we want to propagate "type-taint" information through casts? In the worst case...
user should be able to omit unnecessary parameters
Minimal example ``` #define weak __attribute__((__weak__)) extern "C" { weak void init(); } int main() { init(); } ``` vast-front produces ``` "hl.func"() ({ }) {function_type = !core.fn (!hl.void)>, linkage...
@lkorenc when I use `circuitous-lift --os macos --logtostderr --arch x86 --dbg --ciff-in ./ands.ciff` with `488b90` bytes in `ands.ciff` I explode in the `CircuitSmithy`. The same command but with `--bytes-in 488b90`...