xvilka

17 ms·

301.
by xvilka 3y ago
Just for the record, for nicer inspection of files with such debug information, including compressed sections, and debuginfod support, Rizin[1] can be used, since starting from the 0.7.0 release[2] all of those were added. [1] https:/
302.
by xvilka 3y ago
Nobody is. But it's a great opportunity window.
303.
by xvilka 3y ago
Yes. Also, GitHub recently made some upgrades that forced checksum changes on the autogenerated archives: https://github.blog/changelog/2023-01-30-git-archive-checksu...
304.
by xvilka 3y ago
Maybe it's finally time to start sunsetting LZMA and xz all together in favor of newer algorithms like Zstandard that also offer better performance but compression rates on par with LZMA.
305.
by xvilka 3y ago
As mentioned already by many others in this discussion, the ratio of carbs is way too skewed in them.
306.
by xvilka 3y ago
Alternatively, we can modify humans too to be able to metabolize uric acid just like any other mammals.
307.
by xvilka 3y ago
It looks abandoned according to the site updates.
308.
by xvilka 3y ago
Mutt is exactly something that would be nice to rewrite in Rust, moreover, splitting into various crates of working with email, so that it will be possible to reuse the same code for both TUI and GUI clients.
309.
by xvilka 3y ago
What do you mean? The Rizin code does all the hard part (we add uplifting code for every architecture manually; you can see a list of supported architectures using `rz-asm -L` and check for the `I` letter, which means "IL." You ne
310.
by xvilka 3y ago
I think using higher-level input, e.g. the intermediate language like RzIL[1] could produce better results and is more scalable for making such decompliation multiplatform. As RzIL text form resemples SMT, it should make LLM easier to &quot
311.
Capstone Auto-Sync: Generating Disassemblers from LLVM(rizin.re)
1 points by xvilka 3y ago|0 comments
312.
by xvilka 3y ago
Always quality content in that blog. We used MaskRay's article[1] on stack unwinding to improve our debuginfo (DWARF) support[2] in the past. If someone wants to have a more hands-on approach to executable file formats, e.g., XCOFF or
313.
by xvilka 3y ago
We don't follow radare2 development closely, to be honest. Instead, we prefer to focus on our own roadmap, which roughly is migrating to a new RzIL instead of ESIL in the context of the discussion, improving UX in both Rizin CLI and Cu
314.
by xvilka 3y ago
> compiler frameworks (LLVM, but GCC would work too) that provide you with a lot of tools to start with. While I agree with this, the binary code to LLVM IR uplifting loses a lot of context and semantics information because LLVM IR was d
315.
by xvilka 3y ago
Rizin[1] is also able to uplift native code to the new RzIL, which is based on the BAP Core Theory[2] and is essentially an extension of SMT theories of bitvectors, bitvector-indexed arrays of bitvectors and effects[3]. [1] https:/&#x
316.
by xvilka 3y ago
Do you know if there is an issue for that particular problem in their Bugzilla[1]? If not, have you tried opening a new one? Could you share a sample to reproduce? Because I tried to search for "Shift JIS" on Bugzilla and found no
317.
by xvilka 3y ago
Sorry for the late answer. Yes, there is. We hoped a Keystone-based[1] plugin would be a better alternative since it's based on the LLVM code, but the project looks abandoned now[2]. [1] https://github.com/keystone-engi
318.
by xvilka 3y ago
Yes, for example, `p` commands for printing and `w` commands for writing, visual hex editor (`VP`), and bit-level editor modes. There is room for improvement, but I already used it to reverse unknown firmware formats, so it's usable in
319.
by xvilka 3y ago
Everything Hiew can do, Rizin[1] can do too, and is completely free and open source[2] under LGPL3 license. Moreover, it supports more architectures, platforms, and file formats, as well as GUI in Qt - Cutter[3][4]. If something is missing
320.
by xvilka 3y ago
It's notable that it took 12 years to make that version.
321.
by xvilka 3y ago
Vacuum super-high-speed trains make sense over long distances, but building something like that is beyond current levels of technology. Maybe in a century or later, it could be a better alternative to flying between continents or big cities
322.
by xvilka 3y ago
Hopefully merged into the mainstream one day.
323.
by xvilka 3y ago
It has better toilets, infrastructure, newer trains, much bigger (thus stations are almost always nearby), and integrated as a system as opposed to multiple metros in Tokyo, and so on.
324.
by xvilka 3y ago
Tokyo metro isn't best. I would say the Shanghai[1] one is. And it grows with every year. [1] https://en.wikipedia.org/wiki/Shanghai_Metro
325.
by xvilka 3y ago
You just need to learn that there are multiple metros and some JR trains, and then it will become easy to understand. Modern metro apps and maps can calculate the path using all of those without any problem.
326.
by xvilka 3y ago
It's a small cluster the size of large cluster.
327.
by xvilka 3y ago
I hope one day Pijul[1] will become more common, as the more advanced alternative to git. [1] https://pijul.org/
328.
by xvilka 3y ago
The article didn't mention the exact ISA used.
329.
by xvilka 3y ago
Is there something like TikZ for Typst?
330.
by xvilka 3y ago
Yes, LaTeX error messages are next to useless.

More ›