Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang

Browse the full SAC paper archive.