iphydf
014cc42249
chore: Make run-infer script use docker.
...
So people can run it locally more easily.
2022-02-03 20:11:16 +00:00
iphydf
d23222c92f
chore: Run static analysers in multiple variants.
...
Currently: 1) libsodium and 2) nacl.
Note that the "nacl" variant is actually libsodium. We just want to make
sure the static analysers see the `VANILLA_NACL` code paths.
2022-01-14 10:45:11 +00:00
iphydf
d930ecca4c
chore: Run infer static analyser on circle ci builds.
...
Also running some other analysis that we used to have on Travis.
2021-12-06 20:25:50 +00:00
iphydf
c1a2ea3309
Use bash arrays instead of strings for static analysis scripts.
...
These are more robust wrt. spaces in names.
2020-05-05 01:53:01 +01:00
iphydf
f627a26a7b
Run Clang global static analysis on Travis.
...
This uses a single .cc file containing almost all the code in the
repository to perform whole program analysis.
2018-07-22 02:34:30 +00:00
iphydf
d3b286cb43
Fix a bunch of compiler warnings and remove suppressions.
2018-02-24 22:20:22 +00:00
