repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
user_data2: white space stuff
2016-01-15
Dan Carpe
n
ter
use
r
_data2: white space stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carp
e
nter
string_
l
ist: sil
e
nce a GCC w
a
rning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carp
e
nter
ke
r
ne
l
_printf: we change
d
%pg to %pj
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
capped:
m
u
ltiplications can
be
cappe
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan C
a
r
p
e
nter
capped: white spa
c
e change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan C
a
rpenter
capped: fix
return
implies cap
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Da
n
C
ar
p
enter
cappe
d
: be
t
ter
h
a
ndle on un
m
atched state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
extra: handl
e
ret
u
rne
d
struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Car
p
en
t
er
db: mak
e
get_para
m
_name() check for
NU
L
L sm-
>
sym pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Ca
r
pen
t
er
user_data2
:
simple
_
strtoul() is user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan C
a
rpenter
user_data2: always se
t
*f
o
o t
o
u
ser data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Carpenter
user_data2:
use fa
k
e assignme
n
ts instead of dupl
i
c
a
ting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-13
Dan Ca
r
p
en
t
er
user_data2: handle arrays
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-06
D
an Carpent
e
r
*new* vim_
s
m
db: a s
c
ript for look
i
ng up cal
l
er information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-01-04
Dan Carpenter
buf
_
size
:
fi
x
compil
e
on older GCCs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-22
Dan
C
arpen
t
er
mat
h
: use real_absolute
f
or c
u
stom math handling (user_data)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-22
Dan C
a
rpe
n
ter
debug: add __smatch_real_a
b
solute
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-21
Da
n
Carpente
r
smd
b
.
py: add trac
e
_param f
e
ature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-21
Dan Carpent
e
r
smd
b
.
py: a
d
d
CULL_PATH
type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-21
D
a
n Carp
e
nter
smdb
.
p
y: add
c
all
_
tree to h
e
lp outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-21
Da
n
Car
p
ent
e
r
dat
a
_source: do
n
'
t
print
w
rong source
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-17
Dan
Carpen
t
er
da
t
a
_
source: fo
l
low
p
ar
a
mete
r
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-17
Dan Carpen
t
er
e
sta
t
e: clear unset struct members in cl
o
ne_di
n
f
o_perm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-17
D
a
n Car
p
enter
fl
o
w: fix some is
s
ues with too hairy
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-17
Dan Carpenter
stru
c
t_assi
g
nment:
handle sscan
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus Ville
m
oes
check_kernel_print
f
.
c: suppor
t
fut
u
r
e %p
g
X
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
R
asmus Villem
o
es
che
c
k_kernel
_
pri
n
tf
.
c: check f
o
r redundant
o
r
c
o
n
f
u
s
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_kern
e
l_pri
n
tf
.
c: act
u
ally allow printk lev
e
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vi
l
lem
o
es
check_kernel_
p
r
i
n
tf
.
c
:
s
u
pp
o
r
t %pC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
R
asmus Villemoes
c
heck_kerne
l
_printf
.
c: r
e
move s
o
m
e
%pIS fal
s
e positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
Rasmu
s
Vi
l
l
emoes
ch
e
ck_
k
erne
l
_printf
.
c: update struct print
f
_spec t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
Rasm
u
s Vill
e
moes
check_kernel_pr
i
ntf
.
c: check for sign
e
d char ve
r
sus
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus Vil
l
emoe
s
check_kern
e
l_pri
n
tf
.
c: re
o
rder fla
g
defines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
Rasm
u
s
Villemoes
sparse:
d
on't warn about unknown att
r
ibutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-09
Or Gerlitz
er
r
_ptr_deref:
F
ix build
on RHEL6
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-04
Dan Carpenter
ranges: export
s
v
al_fls_mask() and fls_ma
s
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-04
D
a
n
Carpente
r
i
mp
l
ied: r
e
move left_r
i
ght var
i
abl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-03
D
a
n
C
arpenter
implied: do t
y
pe p
r
o
m
otion earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-02
D
an Carpe
n
ter
implied:
re
n
ame "rang
e
s
" to "rl"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-02
Dan Carpenter
implied: rename "va
l
s" to
"rl"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-02
D
a
n
C
arpe
n
ter
i
m
plied: rename lr to left_right
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-02
Dan C
a
rpenter
implie
d
:
u
se "sm" as t
h
e d
e
fault name for sm_sta
t
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-01
Dan Carpe
n
t
er
implied: remove the --no-impl
i
ed option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-01
Dan Carpenter
fl
o
w: commi
t
t
he rest of
t
he ranged
case
p
atch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-01
Dan Carpenter
smatch
:
r
e
move --known_condi
t
ions opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-01
Da
n
Carpenter
msg: print s
m
_msg() i
f
local
_
debug
i
s on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-12-01
Dan Carpenter
compar
i
so
n
: fix an implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-30
Dan Carp
e
nt
e
r
flow: handle ranged case statem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-30
Dan Carpenter
f
u
n
c
tion_hooks: impos
s
ible: don't set
both sides t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-27
Dan Carpenter
unreachable: ignor
e
a couple new
m
a
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-24
Dan Carpenter
str
i
ng_list
:
accept
const
strings and NU
L
L pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-19
D
a
n Car
p
enter
v
alidation: update some tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-19
Dan Carpen
t
er
c
o
mparis
o
n: re
m
ove
b
og
u
s NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-19
Da
n
Carpe
n
ter
s
m
atch_
e
state: fix clo
n
e
_
estate_cast()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-19
Dan Carpenter
*new*
i
mpossible_mask: complain if peopl
e
do "if (
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-17
Dan C
a
r
p
enter
extra: fix get_u
s
er()
ha
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-17
D
a
n Carpenter
e
q
uiv: ma
r
k var
i
ables as equ
i
v e
v
en when th
e
ir types
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-17
Dan Carpe
n
ter
*
n
e
w* real_a
b
solute: give a mo
r
e
a
c
cur
a
t
e absol
u
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-12
Dan Car
p
ent
e
r
ranges
:
doing d
i
vis
i
o
n
w
a
s
s
o
m
etimes
c
o
rrupting memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-11
Da
n
Carpenter
he
l
per: c
l
ear *sym in expr_to_chunk_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-11
Dan Carpente
r
implied: small speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-11
Dan Carpent
e
r
implied: mark some function parameter
s
as
const
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-11
Dan Car
p
en
t
er
local_v
a
lues: spe
e
d up, by ig
n
oring ar
r
ay values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-11
Da
n
Carpenter
math: handle strl
e
n() of kn
o
wn strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-11
Dan Carpenter
u
s
er_d
a
ta2
:
fix
c
rashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-10
Dan
Ca
r
penter
mat
h
: mov
e
to using rl
_
binop for XOR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
Dan Ca
r
penter
ext
r
a:
m
odif
i
ca
t
i
ons ins
i
de WA
R
N_O
N
() macros should
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
Dan C
a
rpente
r
bufsize,strlen:
m
ove strc
p
y
(),strlcpy() and strlcat
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carpenter
double_checking: dis
a
ble some false
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
D
an Carpenter
double_checking
:
r
e
m
ove debug ou
t
pu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
Dan C
a
r
penter
range
s
: make rl_binop() handle XOR op
e
ration
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carpenter
c
h
eck_deref: i
g
no
r
e
s
tati
c
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
Dan Car
p
en
t
er
db/relo
a
d
_
partial
:
delete old data corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
D
a
n C
a
rpe
n
ter
db/fixup_kernel
.
s
h
: annota
t
e sys
f
s
f
u
n
c
t
ions a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carpenter
d
b/fixu
p
_
k
er
n
el
.
sh:
i
gnore most __vfs_r
e
ad() calle
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-10-30
Dan Carpenter
ranges: be more
flexible about
d
i
vides
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-10-30
Dan Car
p
enter
u
s
e
r
_data2: tighten
u
ser da
t
a rang
e
lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-10-23
Dan
C
arpen
t
er
extr
a
: fix a
t
y
p
e issue handling
c
omparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-10-23
Dan Carpenter
extra: fix a memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-10-09
D
a
n Carp
e
nter
math: ha
n
dl
e
b
inop inte
g
er overflows more stric
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-10-09
Dan Carpenter
err_pt
r
_deref: com
p
lain
a
bo
u
t ERR_PTR(ENOMEM)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-10-02
Dan
Car
p
en
t
e
r
buf_size: bug calc
u
lating pointer math
w
ith &foo[4]
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-09-30
Da
n
Carpenter
helper: rem
o
ve duplicate im
p
lement
a
ti
o
ns of expr_equiv
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-22
D
a
n Carpe
n
ter
buf_s
i
ze: don't store bogus
i
nfor
m
ation
in t
h
e
databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-22
Dan Carpent
e
r
strlen:
snprin
t
f
(
) can determ
i
ne the
s
trlen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-22
Dan Carpenter
buf_si
z
e: arra
y
s
c
ann
o
t be re-assigne
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-21
Dan Carpenter
user_data:
u
p
date kstrotoXX(
)
f
u
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Da
n
Ca
r
pente
r
states: remove an unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan
Carpenter
doubl
e
_
checking: avoid
m
ore fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan Carpenter
d
o
uble_checking: silence
f
a
l
se positives
c
aus
e
d
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Da
n
C
arpenter
double_
c
hecki
n
g: allow
if
(
foo) {
.
.
.
}
e
lse if (!foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
D
a
n Carpen
t
er
zero_to_err_ptr: calling PTR_ERR(
N
ULL) is a
p
robably
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan Carpente
r
smdb
.
py: up
d
ate list of ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Dan Carpenter
check_kernel: reg
i
s
t
er this later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Dan Ca
r
penter
check_dma_m
a
pping_erro
r
: The dma_m
a
pping_erro
r
() fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Dan Carpenter
buf_compa
r
ison: split the
code up and move it around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-18
Dan C
a
rp
e
nter
ext
r
a, db: don't use PAR
A
M
_
VALUE fo
r
return
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
b
u
f_size: add kmap
(
)
and get
_
zeroed_page
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
D
a
n Ca
r
penter
b
u
f
_
size, st
r
len: don't us
e
strle
n
() t
o
determine
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpente
r
strle
n
: cleanup in get_impl
i
ed_s
t
rlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next