SIFOL: Solving Implicit Flows in Loops for Concolic Execution | IEEE Conference Publication | IEEE Xplore