Login: m Name: Max Directory: /home/m Shell: /bin/plan.cat Last login Fri Nov 19 15:11:30 2021 UTC No Mail. Plan: 11/19: Regenerated supposed types. Attempted static analysis. Static analysis engine has bugs. Cycle detection seems to not be working properly. There still appears to be issues with variable names. I am going to investigate these issues today to see if I can solve them. 11/18: Finished allowing safe functions to call other safe functions. Submitted PR. Fixed the bug causing the wrong variable names in source code instrumentation. Today, need to regenerate supposed variable types. Then, I'll attempt evaluating static analysis with those types. 11/17: Working on allowing safe functions to call other safe functions. A function is safe if it is info-flow secure. To make function info-flow secure, we disallow function calls. After this change, we'll allow safe function calls. I want to fix the bug causing the wrong variable names to be reported in my source code instrumentation program. Tonight I'll receive my COVID booster shot.