catching 32/64 bit integer mixing

An upstream author has asked whether we know of tools or compiler flags to help catch problems mixing 64 and 32 bit integers, for instance catching implicit conversions, as in int64_t n = ...; for (int32_t i=0; iThere is -fsanitize=signed-integer-overflow (which generates a runtime error

Re: catching 32/64 bit integer mixing

For open source projects, a few online static analyzers are available and usable for free. This kind of integer type mismach will be caught by most of them. Possibly clang-static-analyzer will do the job. Otherwise, an easy one is lgtm for example. See https://lgtm.com/ (I

Re: Maven packages in Debian (was Re: Progress in preparing the Bazel Build System for Debian (COVID-19 Biohackathon follow-up))

On Wed, May 13, 2020 at 7:33 PM Thorsten Glaser wrote: > > On Wed, 6 May 2020, Andreas Tille wrote: > > > > Or perhaps we need a webpage or wiki page generated by parsing the > > > Contents file and listing the matching Debian package for each class > > > or, at least, Java package (unless split

Re: Maven packages in Debian (was Re: Progress in preparing the Bazel Build System for Debian (COVID-19 Biohackathon follow-up))

On Sat, 23 May 2020, Sudip Mukherjee wrote: > I have now made a list with package name, the jar files that it > provides and the list of class that the jar provides. This must be scripted/scriptable though… the list for stable is pretty much fixed, but the one for unstable (which is the relevant

Re: Maven packages in Debian (was Re: Progress in preparing the Bazel Build System for Debian (COVID-19 Biohackathon follow-up))

On Sat, May 23, 2020 at 8:10 PM Thorsten Glaser wrote: > > On Sat, 23 May 2020, Sudip Mukherjee wrote: > > > I have now made a list with package name, the jar files that it > > provides and the list of class that the jar provides. > > This must be scripted/scriptable though… the list for stable

Re: catching 32/64 bit integer mixing

Thanks Thomas, I'll pass that on. Drew On 2020-05-23 21:33, Thomas Schiex wrote: For open source projects, a few online static analyzers are available and usable for free. This kind of integer type mismach will be caught by most of them. Possibly clang-static-analyzer will do the job.