llvm dev - Jan 2018 - 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

Hi Yuri,

When you say code analysis, do you mean checking from source code itself,
the intermediate representation, the assembly instructions or the binary?

Brenda

On Mon, Jan 1, 2018 at 1:26 AM, Yuri via llvm-dev <llvm-dev at
lists.llvm.org>
wrote:
> 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
>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180101/86136b66/attachment.html>

On 12/31/17 22:53, Brenda So wrote:
>
> When you say code analysis, do you mean checking from source code 
> itself, the intermediate representation, the assembly instructions or 
> the binary?

I was going to check C/C++ source code by the means of compiling it into 
.ll format and looking at the instruction level.


Yuri

Hi,

On 1/1/2018 07:26, Yuri via llvm-dev wrote:
> 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++.
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

On 01/01/18 08:18, Matt P. Dziubinski via llvm-dev
wrote:
>>
> One possible choice would be llvmcpy -- Python bindings used by the 
> rev.ng (https://rev.ng/) project:
> https://github.com/revng/llvmcpy

This works, thank you!

I've created the FreeBSD port for llvmcpy.


Thanks!

Yuri

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180101/3269b202/attachment.html>

-----Original Message-----
From: llvm-dev [mailto:llvm-dev-bounces at lists.llvm.org] On Behalf Of Yuri via
llvm-dev
Sent: Monday, January 01, 2018 12:27 AM
To: llvm-dev at lists.llvm.org
Subject: [llvm-dev] 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

______________________________________________
LLVM Developers mailing list
llvm-dev at lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

Hi Yuri,

There is a python interface to LLDB which builds against LLVM
http://lldb.llvm.org/python-reference.html

I'm not that familiar with the internals but it might be a good starting
point.