Hacker News
- A tool to detect bugs in Java and C/C++/Objective-C code before it ships https://fbinfer.com/ 33 comments
Lobsters
- Infer: Facebook's static analyzer http://fbinfer.com/ 5 comments c , c++ , java
- Infer static analyzer - a tool to detect bugs in Java http://fbinfer.com/ 11 comments java
- Infer | A static analyzer for mobile apps http://fbinfer.com/ 3 comments programming
Linking pages
- Java 8’s new Optional type is worthless | by W. Brian Gourlie | Medium https://medium.com/@bgourlie/java-8-s-new-optional-type-is-worthless-448a00fa672d 384 comments
- The C Bounded Model Checker: Criminally Underused | Hey There Buddo! https://www.philipzucker.com/cbmc_tut/ 127 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/analysis-tools-dev/static-analysis 112 comments
- GitHub - mikeroyal/Apple-Silicon-Guide: Apple Silicon Guide. Learn all about the A16 Bionic, M1, M1 Pro, M1 Max, M1 Ultra, and M2 chips. Along with all the Devices, Operating Systems, Tools, and Software that Apple Silicon powers. https://github.com/mikeroyal/Apple-Silicon-Guide#getting-started-with-apple-silicon 59 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- GitHub - shuaimu/borrow-cpp https://github.com/shuaimu/borrow-cpp 25 comments
- GitHub - mikeroyal/Windows-11-Guide: Windows 10/11 Guide. Including Windows Security tools, Encryption, Graphics, Gaming, Virtualization, Windows Subsystem for Linux (WSL 2), Software Apps, and Resources. https://github.com/mikeroyal/Windows-11-Guide 24 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/mre/awesome-static-analysis#c 21 comments
- GitHub - mikeroyal/eBPF-Guide: eBPF (extended Berkeley Packet Filter) Guide https://github.com/mikeroyal/eBPF-Guide#getting-started-with-eBPF 16 comments
- GitHub - mikeroyal/Unreal-Engine-Guide: Unreal Engine 5 Guide. Learn to develop games for Windows, Linux, macOS, iOS, Android, Xbox Series X|S, PlayStation 4 & 5, Nintendo Switch. https://github.com/mikeroyal/Unreal-Engine-Guide#linux-development 12 comments
- GitHub - facebook/infer: A static analyzer for Java, C, C++, and Objective-C https://github.com/facebook/infer 11 comments
- GitHub - mikeroyal/Neuromorphic-Computing-Guide: Learn about the Neumorphic engineering process of creating large-scale integration (VLSI) systems containing electronic analog circuits to mimic neuro-biological architectures. https://github.com/mikeroyal/Neuromorphic-Computing-Guide 7 comments
- GitHub - mikeroyal/Azure-Guide: Microsoft Azure Guide. Learn all about Microsoft Azure Tools, Services, and Certifications. https://github.com/mikeroyal/Azure-Guide 7 comments
- Infer: Find Races and Deadlocks. Programmers have mostly learned to… | by Thomas DuBuisson | Medium https://medium.com/@thomas.dubuisson/infer-find-races-and-deadlocks-e9e33c4091f7 6 comments
- Production Readiness Checklist | Daniel's programming rants https://gerlacdt.github.io/posts/production-readiness-checklist/ 3 comments
- GitHub - mikeroyal/OpenGL-Guide: OpenGL Guide https://github.com/mikeroyal/OpenGL-Guide 2 comments
- GitHub - mikeroyal/Machine-Learning-Guide: Machine learning Guide. Learn all about Machine Learning Tools, Libraries, Frameworks, and Training Models. https://github.com/mikeroyal/Machine-Learning-Guide 2 comments
- GitHub - mikeroyal/Blockchain-Guide: Blockchain Guide https://github.com/mikeroyal/Blockchain-Guide 2 comments
- GitHub - mikeroyal/Google-Cloud-Guide: Google Cloud Platform (GCP) Guide. Learn all about Google Cloud Tools, Services, and Certifications. https://github.com/mikeroyal/Google-Cloud-Guide 2 comments
- GitHub - mikeroyal/VHDL-Guide: VHDL Guide https://github.com/mikeroyal/VHDL-Guide 2 comments
Related searches:
Search whole site: site:fbinfer.com
Search title: Infer Static Analyzer | Infer | Infer
See how to search.