henrik

tmux cheatsheet

As configured in my dotfiles.

start new:

tmux

start new with session name:

MattPD

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers