Top all-time · #10132
Mayhem Security: Automated Code and API Security Testing
Company blog · forallsecure.com/blogsecurityprogramming
Mayhem Security: Automated Code and API Security Testing is the company blog at forallsecure.com, writing about security and programming. Since 2013, 8 different Hacker News readers have linked it 11 times. No feed was found, so read it on the site itself.
Too few sampled comments (5) to say how often HN recommends it.?
Why HN links it
HN readers link ForAllSecure's site for its job postings and as the company behind Mayhem, a symbolic execution engine for automated code and security testing. Comments cite it without judging the writing.
Summarised by Claude from a sample of 5 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Tailored for developers, Mayhem rapidly produces thousands of tests, offering actionable insights and seamless integration.
What Hacker News says?
ForAllSecure | Multiple Positions | Full-Stack Engineer | Cloud Infrastructure Engineer | Analysis Engineer | Sales Engineer | Sales Operations Analyst | Account Executive | Staff/Corporate Accountant | Solution Architect and Content Specialist | Full-time | Remote, USA | https://forallsecure.com/careers We believe in a world where autonomous application security allows us to move faster and beat attackers. We do no…
Comment linking /careers
on “Ask HN: Who is hiring? (June 2022)”Submitted Using Mayhem for API to fuzz etcd as a story · 3 points
HN discussionForAllSecure | Application Security | Full-Time | Remote We believe in a world where autonomous application security allows us to move faster and beat attackers. We do not believe the status quo is working, as companies are developing software much faster than they can manually secure it. Our focus at ForAllSecure is to change how companies develop, test, and deploy software by building the technology to make cybers…
Comment linking /careers
on “Ask HN: Who is hiring? (September 2022)”Submitted Common Causes of False Positives in Software Security Testing as a story · 1 points
HN discussionOCaml sees a lot of use in the applied program analysis community, which has applications to automated reverse engineering and formal verification. A company in this area recently started by CMU assistant professor David Brumley is: http://www.forallsecure.com/mayhem.html .
Comment linking /mayhem.html
on “Show HN: FUSE filesystem for Google Drive written in OCaml”Submitted DEF Con’s Champion CTF Team PPP (2020) as a story · 1 points
HN discussion> TL;DR: It's about the "Internet of Things" ^ this is too ambiguous to be meaningful for anyone who isn't familiar with the cyber grand challenge (CGC). the CGC, as i understand it, is about developing systems which can autonomously detect and patch vulnerabilities[0]. i believe this is interesting for a couple of reasons: 1. a self-repairing system could prevent data breaches (or mitigate damage). 2. this type of…
Comment linking /
on “DARPA Cyber Grand Challenge”Submitted Using Mayhem for API to Fuzz Allthebots.com as a story · 1 points
HN discussionCan you explain how your offering compares with open-source alternatives, such as KLEE [1] and DeepState [2]? P.S. your logo is surprisingly similar to that of ForAllSecure [3], which also provides a symbolic execution engine called Mayhem [4]. [1] https://klee.github.io/ (online example: http://klee.doc.ic.ac.uk/ ) [2] https://github.com/trailofbits/deepstate#readme [3] https://forallsecure.com/ [4] https://users.e…
Comment linking /
on “Show HN: Symbolica – Try our symbolic code executor in the browser”Submitted "Project Mayhem" as a story · 1 points
HN discussion