News for hackers. Stuff that matters.
Re:Property-Based Testing Caught a Security Bug I Never Woul... by mananaysiempre on Friday December 19, 2025 @02:51AM (#46323327)
TL;DR: obj[key] with user-controlled key == "__proto__" is a gift that keeps on giving; buy our AI tool that will write subtle vulnerabilities like that which you yourself won’t catch in review but then it will also write some property-based tests that maybe will
Re:Property-Based Testing Caught a Security Bug I Never Woul... by fireflash38 on Friday December 19, 2025 @05:51AM (#46324383)
Don't forget you can use AI to turn a 50 word blog post into a 2,000 word one!
Re:Property-Based Testing Caught a Security Bug I Never Woul... by mirthturtle on Friday December 19, 2025 @07:03AM (#46324901)
For real. The bullet-point summary at the beginning with a "Why this matters for..." immediately followed by, "This isn't just a theoretical exercise—it's a real example of..." Dead giveaways.
Re:Property-Based Testing Caught a Security Bug I Never Woul... by raphting on Friday December 19, 2025 @08:44AM (#46325781)
Exactly this! AI fluff all over in that article.
Re:Property-Based Testing Caught a Security Bug I Never Woul... by latentsea on Friday December 19, 2025 @09:56AM (#46326525)
You're absolutely right!
Re:Property-Based Testing Caught a Security Bug I Never Woul... by nslog on Friday December 19, 2025 @10:01AM (#46326571)
Didn't react just have basically the same vuln
Re:Property-Based Testing Caught a Security Bug I Never Woul... by mananaysiempre on Friday December 19, 2025 @02:13PM (#46329702)
The code in TFA is, by a hair’s breadth, not actually vulnerable, as long as the type signature of the function is obeyed. React spinned the same gun in the game of Russian roulette but was less lucky.
Re:Property-Based Testing Caught a Security Bug I Never Woul... by toobulkeh on Friday December 19, 2025 @01:29PM (#46329163)
It also talks about using PBT and Randomness for some reason. This is clearly just a test value of a non-AI library written by a human.

My take away is “don’t write your own input tests, use a library”. The rest is AI-slip

Re:Property-Based Testing Caught a Security Bug I Never Woul... by mananaysiempre on Friday December 19, 2025 @02:05PM (#46329609)
Theoretically a good fuzzer could discover this value by itself, but I don’t believe anything like that exists that could run JS code and explore VM-level branches, at least not for JS code that’s even this complex. Otherwise, yes, PBT is less trivial than it seems, though I’m guessing a simple `strings jsc` coupled with general knowledge of special values of other types[1,2] could get you quite far.

[1] https://www.exploringbinary.com/php-hangs-on-numeric-value-2...

[2] https://www.exploringbinary.com/java-hangs-when-converting-2...