?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
buf_size: allow strncmp("foo", bar, 100) where 100 is larger than "foo"
[smatch.git] / smatch_data / kernel.unconstant_macros
blob89e9d0787a8b4ae9010c0a7da22c57397fbc7ffa
1 X86_VM_MASK
2 VM_GROWSUP
3 UBIFS_BLOCKS_PER_PAGE
4 DYNTICK_TASK_NEST_MASK
5 ARCH_SHF_SMALL
6 SLAB_NOTRACK
7 FAULT_FLAG_TRANSHUGE
Static analysis for C