🦞🌯 Lobster Roll

Thread

Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com)
L 6 pts 2 comments by scottatgalois Mar 20, 2025 formalmethodsreleasereversingsecurity thread

Stories related to "Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code" across the full archive.

Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com)
L 6 pts 2 comments by scottatgalois Mar 20, 2025 formalmethodsreleasereversingsecurity Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheorySecurity / Privacy thread
Introducing new open-source tools for the Elixir community (engineering.pinterest.com)
L 10 pts 5 comments by kGb8RNFtg6 Dec 20, 2015 elixir Programming (General)Programming Languages / CS Theory thread
Introducing GPG Sync, an Open Source Tool for Organizations That Encrypt Email (firstlook.org)
L 6 pts 0 comments by jabberwock Oct 12, 2016 privacyrelease Programming (General)Security / Privacy thread
Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com)
HN 116 pts 12 comments by thinkmoore Mar 20, 2025 Programming (General)Security / Privacy thread
ELD: Introducing a new open-source embedded linker tool for embedded systems (qualcomm.com)
L 3 pts 0 comments by kaycebasques Apr 10, 2025 compilersrelease Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Open Source Full Disk Encryption: What Took So Long? (cyphertite.com)
L 9 pts 0 comments by lynge Nov 6, 2012 openbsdsecurityunix Systems / Low-Level / OSProgramming (General)Security / Privacy thread
Pedestal: An open source tool set for building web applications in Clojure (pedestal.io)
L 5 pts 0 comments by jturner Mar 18, 2013 releaseweb Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Introducing SAMOA, an open source platform for mining big data streams. (yahooeng.tumblr.com)
L 3 pts 0 comments by SeanTAllen Dec 4, 2013 release Programming (General) thread
Interview with Ted Unangst about signify, OpenBSD's new signature tool (youtube.com)
L 6 pts 0 comments by wally Feb 7, 2014 openbsdpersonvideo Systems / Low-Level / OSCulture / Philosophy / History / Reading thread
Open Source Tools for Nonprofits: Twilio.org Rapid Response Kit (twilio.com)
L 2 pts 5 comments by tobym Mar 13, 2014 release Programming (General) thread
jHiccup: Open Source Tool to Measure Variations in Java Performance (azulsystems.com)
L 5 pts 0 comments by SeanTAllen Jan 14, 2015 javarelease Programming (General) thread
jHiccup allows developers, systems operators and performance engineers to easily create and analyze response time profiles, and to clearly identify whether causes of application delays reside in the application code or in the underlying runtime platform. jHiccup is completely transparent and non-int...
Introducing gRPC, a new open source HTTP/2 RPC Framework (googledevelopers.blogspot.com)
L 11 pts 0 comments by DocSavage Feb 27, 2015 distributednetworkingscaling Programming (General)Data / Databases / InfrastructureProductivity / Career / Business thread
Introducing "Yosemite": the first open source modular chassis for high-powered microservers (code.facebook.com)
L 15 pts 5 comments by julienxx Mar 11, 2015 hardware Programming (General)Maker / DIY / Hardware thread
Introducing OpenBSD's new httpd (openbsd.org)
L 35 pts 12 comments by fcambus Mar 14, 2015 openbsdpdf Systems / Low-Level / OS thread
Bazel -- Google's open source build tool -- correct, fast, reproducible builds (bazel.io)
L 32 pts 2 comments by aysylu Mar 24, 2015 release Programming (General) thread
BSDCan 2015: Fighting Harassment with Open Source Tools (blog.randi.io)
L 9 pts 3 comments by nogweii Jun 28, 2015 culturevideo Programming (General)Culture / Philosophy / History / Reading thread
Project IceStorm - An Open Source reverse engineered FPGA bitstream tool (clifford.at)
L 5 pts 0 comments by flaviusb Jul 28, 2015 apihardware Systems / Low-Level / OSProgramming (General)Maker / DIY / Hardware thread
Open Source Python CLI Tool Released (jut.io)
L 3 pts 0 comments by PJ Oct 6, 2015 devopspython Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
OpenBSD's source tree just turned 20 years old (marc.info)
L 23 pts 0 comments by fcambus Oct 18, 2015 openbsd Systems / Low-Level / OS thread
Microsoft releases CNTK, its open source deep learning toolkit, on GitHub (blogs.microsoft.com)
L 6 pts 0 comments by joshuacc Jan 25, 2016 cdistributed AI / Machine LearningSystems / Low-Level / OSProgramming (General)Data / Databases / Infrastructure thread
Introducing The DWF project: Vulnerability reporting done the open source way (redhat.com)
L 2 pts 0 comments by inactive-user Jun 1, 2016 releasesecurity Programming (General)Security / Privacy thread
Opensource Routing (openbsd.org)
L 8 pts 0 comments by mulander Jun 12, 2016 networkingopenbsd Systems / Low-Level / OSProgramming (General)Data / Databases / Infrastructure thread
Introducing OpenCellular: An open source wireless access platform (code.facebook.com)
L 5 pts 0 comments by chadski Jul 6, 2016 networking Programming (General)Data / Databases / Infrastructure thread
OpenBSD Gaming Resource (satterly.neocities.org)
L 6 pts 0 comments by mulander Aug 6, 2016 gamesopenbsd Systems / Low-Level / OSGaming / Retro Computing thread
Introducing the Realm Mobile Platform: Realtime Sync Plus Fully Open Source Database (realm.io)
L 1 pts 0 comments by leeflannery Sep 27, 2016 databasesmobile Programming (General)Data / Databases / Infrastructure thread
Open Source at DigitalOcean: Introducing go-qemu and go-libvirt (digitalocean.com)
L 7 pts 4 comments by inactive-user Nov 22, 2016 govirtualization Systems / Low-Level / OSProgramming (General) thread
Planio — Collaboration tool based on the open-source project Redmine (indiehackers.com)
L 1 pts 0 comments by csallen Dec 6, 2016 practices Programming (General)Productivity / Career / Business thread
Botpress: an open-source bot creation tool written in JavaScript (botpress.io)
L 2 pts 0 comments by av Feb 18, 2017 javascript Web DevelopmentProgramming (General) thread
[Github](https://github.com/botpress/botpress)
WalkMod: an open source tool to fix Java coding style issues (walkmod.com)
L 1 pts 0 comments by rpau Feb 28, 2017 compilersjavapracticesprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
WalkMod is an command line tool that fixes Java coding style violations reported by PMD, CheckStyle or SonarQube. It includes code smells, dead code or common bugs.
Introducing FreeNAS Corral: The World's First Open Source Hyper-converged Storage Platform (freenas.org)
L 7 pts 0 comments by lattera Mar 15, 2017 freebsd Systems / Low-Level / OSProgramming (General) thread