search for: revng

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