MacMusic  |  PcMusic  |  440 Software  |  440 Forums  |  440TV  |  Zicos
shell
Search

Ghost in the shell script: Boffins reckon they can catch bugs before programs run

Wednesday April 30, 2025. 11:27 AM , from TheRegister
Go ahead, please do Bash static analysis
Shell scripting may finally get a proper bug-checker. A group of academics has proposed static analysis techniques aimed at improving the correctness and reliability of Unix shell programs.…
Read more at TheRegister
https://go.theregister.com/feed/www.theregister.com/2025/04/30/shell_script_code_correctness/

Related News

shell Videogame's Players Launch Boycott Over Bugs, Story Changes, Monetization SlashdotMay 12
programs Ghost Students Are Creating an 'Agonizing' Problem For California Colleges SlashdotMay 8
run How to gracefully migrate your JavaScript programs to TypeScript InfoWorldMay 7
ghost Static analysis proposed for shell programs InfoWorldMay 6
before Static analysis proposed to ‘rehabilitate’ shell programs InfoWorldMay 6
static This caterpillar wears dead bugs as a fashion statement BoingBoingMay 6
analysis [$] Injecting speculation barriers into BPF programs LWN.netMay 5
bugs Swiss boffins admit to secretly posting AI-penned posts to Reddit in the name of science TheRegisterApr 29
script Watch: Adorable spiders hunt bugs and turn them into delicious smoothies BoingBoingApr 27
boffins Spooky-looking Ghost of Tsushima sequel gets release date BoingBoingApr 24
catch [$] Code signing for BPF programs LWN.netApr 22
reckon Watch United Airlines flight catch fire midair, thanks to a rabbit (video) BoingBoingApr 17
shell Heat can make Li-Ion batteries explode. Or restore their capacity, say Chinese boffins TheRegisterApr 17
programs [$] Taking BPF programs beyond one-million instructions LWN.netApr 16
run I made a better way to scroll in Windows. Here’s the script. ComputerWorldApr 16
ghost Lost art of coconut shell navigation: How Pacific islanders crossed oceans BoingBoingApr 14
before [$] Inlining kfuncs into BPF programs LWN.netApr 11
static Billions pour into AI as emissions rise, returns stay pitiful, say Stanford boffins TheRegisterApr 11
analysis Boffins turn Moon dirt into glass for solar panels, eye future lunar base power TheRegisterApr 8
bugs Apple belatedly patches actively exploited bugs in older OSes TheRegisterApr 2
News copyright owned by their original publishers | Copyright © 2004 - 2025 Zicos / 440Network
Current Date
May, Sun 25 - 22:57 CEST