Slayer? SLAyer? Check the way to make sure you have dangling pointer derefences

Driver software driving you CRAZY?  Your program doesn’t launch fast?  Bugs?  Dangling Pointer Dereferencs?  Check out SLAyer, a subset of the Terminator class of software, which if everything goes well should be part of the SkyNet software suite that will take over the world shortly. So what is SLAyer? “SLAyer is a program analysis tool…

0

BEK or Meh? Automata-theoretic techniques, ooooh this will get the hits!

You are walking down the street and suddenly have a thought about Automata-theoretic techniques.  Usually I just go home and take my medication that I forgot to take earlier in the day.  But today, it turned out that I was at home and had taken my meds.  So all was good.  Still got that thought….

0