Technology

Product
Getting started Symflower's technology
Docs
Pricing
Blog
Company
About us Jobs Contact

What is symbolic execution for software programs?

IaaM 5 - Kubernetes Talk and Workshop

Sign up for our newsletter

Symflower GmbH will always protect your privacy. We use your personal data only to provide you the products and services you requested.

I want to receive news from Symflower GmbH.*

I agree that my personal data will be processed by Symflower GmbH.*

* required

Thank you for subscribing!

Pricing
License Agreement
Privacy

Product

Symflower for IntelliJ IDEA
Symflower for VS Code
Symflower for your CLI/CI
Symflower for Android Studio

Company

About us
Blog
JobsWe are hiring!
Contact

© 2023 Symflower GmbH | Imprint

Well, I am done with the content. Please tell me an interesting story.

It really bugged Grace that she was inside Harvard with Mark. As a patriot, she knew she needed to get out there as fast as a missile and according to her internal clock, it was about time. But terminal 5 was guarded by Kerberos, he wouldn't let her out with her luggage and she knew he was dangerous: Ariane told her he already byte her 5 times. She tried to trade him some knights, but he demanded a truly random number instead. So she started a floating-point divide and even offered some intel, but he insisted on a truly random number.

Curious Grace wanted to know why Kerberos would not let her out. He told her just a worm gets() by on very little and this massive buffer area of terminal 5 made him feel lonely, his emotions overflowed. He wanted her to stay to have some company.

She argued that terminal 5 was quite little compared to the orbit of Mars and even the climate was better here, but he did not agree and told her she most likely got her predictions wrong because she was using metric units.

But smart Grace had a solution: if she drew holes into blocks, she could bypass Kerberos if just the radiation was not too high. But it made her heart bleed to leave Kerberos alone. So she asked Kerberos to do a ping to check his sanity. He tried and got trapped in a blue screen forever. Grace provided astonishing pictures of dogs, cats, and chocolate cakes in the blue screen, so Kerberos would not feel alone but happy.

She managed to get out of Harvard and Kerberos lived happily ever after, trying to find an answer to the most important question: Why two K?