Displaying 6 results from an estimated 6 matches for "revng".
Did you mean:
reving
2018 Jan 01
0
Is there a python binding, or any other script binding, that has access to individual instructions?
...ple,
> find all system calls that have unchecked return codes, but I can't
> find a binding for any scripting language. And I am averse to writing
> this in C++.
One possible choice would be llvmcpy -- Python bindings used by the
rev.ng (https://rev.ng/) project:
https://github.com/revng/llvmcpy
Here's an example showing syscalls invocations tracing:
https://github.com/revng/revamb/blob/master/docs/PythonExample.rst#tracing-all-the-syscall-invocations
Best,
Matt
2018 Jan 01
5
Is there a python binding, or any other script binding, that has access to individual instructions?
There is llvmlite http://llvmlite.readthedocs.io/en/latest/ , but it
doesn't seem to support reading individual instructions, based on these
docs.
I was thinking to make a simple code analysis tool to, for example, find
all system calls that have unchecked return codes, but I can't find a
binding for any scripting language. And I am averse to writing this in C++.
Thanks,
Yuri
2017 Oct 31
2
A query language for LLVM IR (XPath)
...ibutes. But it should be doable.
>
> ---
> Alessandro Di Federico
> PhD student at Politecnico di Milano
>
> [1] https://en.wikipedia.org/wiki/XPath <https://en.wikipedia.org/wiki/XPath>
> [2] https://pugixml.org/ <https://pugixml.org/>
> [3] https://github.com/revng/llvmcpy <https://github.com/revng/llvmcpy>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev <http://lists.llvm....
2019 Nov 05
2
DWARFv5 DW_FORM_implicit_const support in LLVM
Hello folks,
I was interested in the support we have for the attribute form
DW_FORM_implicit_const (DWARFv5 feature) in clang/LLVM. And I had some
doubts wrt this. I noticed that support for this was put in here in 2017:
https://rev.ng/gitlab/revng-bar-2019/llvm/commit/d9df13befcbc702e239b650dd1f55778d72b8571
>From what I could make out, the support for generating
DW_FORM_implicit_const is there, but I could not make out the DWARF
attributes for which this form is being generated currently. Are there any
attributes for which this form i...
2017 Oct 29
2
A query language for LLVM IR (XPath)
...open questions, such as how to deal with
operands, which could lead to an infinite tree, or how to organize
attributes. But it should be doable.
---
Alessandro Di Federico
PhD student at Politecnico di Milano
[1] https://en.wikipedia.org/wiki/XPath
[2] https://pugixml.org/
[3] https://github.com/revng/llvmcpy
-------------- next part --------------
A non-text attachment was scrubbed...
Name: main.ll
Type: application/octet-stream
Size: 1274 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171029/c913b314/attachment.obj>
-------------- next part -------...
2017 Jan 12
2
llvmcpy: yet another Python binding for LLVM
Hi, I wrote yet another [1,2] Python binding for LLVM! I'm doing this
because llvmlite has some serious limitations: 1) it cannot parse an
existing IR, only create new modules [3], 2) it keeps its own
representation of the IR (which is less memory efficient than the LLVM
one), and 3) each llvmlite version supports a single LLVM version.
Considering that my need is to load modules of hundreds