Skip to content
GitLab
Explore
Sign in
Decoder
pkm-api
Issues
#30
Frama-C bogus column numbers in source code locations
Frama-C generates out-of-range column numbers (pos_cnum) in source code locations: e.g. 106170.