Comments (77)
Is there anyone to lock this issue / limit comments to contributors? I don't want to unsubscribe because I'm interested in this, but this constant 👍 is annoying.
from infer.
@sblackshear Hi sam, I am interested in the 'extending frontend'. Supporting LLVM sounds awsome and I am very interested. Can you tell me where I should start?
By the way, we are making a tool to analyze java projects automatically in our team, by connecting Github and Infer. The tool detects push and pull requests, analyzes automatically using Infer, and then reports results as comments on each Github issues. We will provide it for all teams in our company to use it. Also I am interested in making the tool as an open source, but it is not prepared yet.
I hope to talk about it with you soon. 😊
from infer.
No, Swift is not supported at the moment. We may work on it in the future.
from infer.
This project has a Swift parser written an OCaml, which could be a useful starting point if anyone is interested in tackling this.
from infer.
Oh this issue is opened on several months ago 😂..
from infer.
Hey @kstreee, just a quick note that the llvm frontend prototype lives in https://github.com/facebook/infer/tree/master/infer/src/llvm. Right now it starts from text-form llvm, not bitcode, and not all constructs have been translated.
from infer.
I did an internship at Facebook this summer adding support to analyze LLVM code with Infer. This is in an experimental stage for now but is a possible approach to analyzing Swift code in the future.
from infer.
+1
from infer.
+1
from infer.
+1 👍
from infer.
👍
from infer.
+1
from infer.
👍
from infer.
👍
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
👍
from infer.
👍
from infer.
👍
from infer.
👍
from infer.
+1
from infer.
Need this
from infer.
👍
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+42
from infer.
👍
from infer.
+1
from infer.
👍
from infer.
I think all the comments have shown this is a feature the community would appreciate, I think now we should just subscribe to this issue and wait for updates from the authors.
from infer.
+1
from infer.
If it supports LLVM it shouldn't be difficult to support Swift?
from infer.
We do not yet support LLVM (as @rohanjr mentioned earlier in the thread, we have the beginnings of an LLVM IR frontend, but there are lots of constructs we can't parse or translate yet). If you're interested in extending the frontend, let me know and I can give you some pointers on where to start!
from infer.
👍
from infer.
+1
from infer.
+1
from infer.
👍🏼
from infer.
👍🏼
from infer.
+1
from infer.
+1
from infer.
+1. Any update on this?
from infer.
@jvillard Thanks for your reply! :)
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
👍
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
👍
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
It seems several years passed since the first comment of this issue, has this feature been added?
from infer.
+1
from infer.
+1
from infer.
+1
from infer.
Has this feature been added?
from infer.
+1
from infer.
+1
from infer.
Support?
from infer.
+10086
from infer.
+1
from infer.
Related Issues (20)
- [java] DEADLOCK: False Negative in Infer analysis results after converting anonymous classes to lambda expressions HOT 1
- [java] STARVATION: False Negative in Infer analysis results after converting anonymous classes to lambda expressions HOT 1
- False positive of Infer/Pulse when `std::unique_ptr` is used with no throw `new` HOT 2
- how to use --custom-symbols?
- How to check custom malloc and free functions for memory leak?
- can infer find out all suspecious bugs? HOT 2
- java: Infer injects outdated, buggy maven-compiler-plugin version 3.8.0
- False positive memory leak on loop HOT 4
- Dockerfile: US-ASCII locale causes crash on UTF-8 input
- How to add extra nullability condition to NULL_DEREFERENCE checking
- Is Adding a C++ Infer Port to the VSCode Plugin on the Roadmap? HOT 3
- [java] A false negative about the rule NULL_DEREFERENCE
- [java] A false positive about the rule THREAD_SAFETY_VIOLATION
- `--biabduction-unsafe-malloc` doesn't assume that `calloc()` and `realloc()` never return null HOT 1
- Error building the `Resource Leak analysis` lab in docker
- False positive Uninitialized Value in C code
- Need help when using infer run or capture during maven compilation HOT 1
- Query on --changed-files-index option HOT 3
- Meta leak HOT 1
- Infer - clang plugin OCaml - Issue HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from infer.