Hey i wonder if such an app would be a great startup idea? The 'predict if progr... | Hacker News

HN2new | past | comments | ask | show | jobs | submit

		banku_brougham on July 8, 2017 \| parent \| context \| favorite \| on: OpenBSD Will Get Unique Kernels on Each Reboot Hey i wonder if such an app would be a great startup idea? The 'predict if program will terminate' one.

still_grokking on July 9, 2017 [–]

For a long time now many people are already working on this topic.

This apps are called static program analyzers and some can prove totality of code.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact