Lovely article showing how to convert an interpreter to an abstract interpreter performing sign analysis: https://matt.might.net/articles/intro-static-analysis/