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
strings: record string assignments
2015-03-30
D
an
Carpen
t
er
strings: record
s
t
ring
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
struct_as
s
ignment:
save
a
lot more information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carp
e
nter
par
a
m_limit
/
filter: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
S
i
lvan Jegen
db: Avoid de
r
e
fer
e
ncing null
p
o
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
n
ter
c
omparison: handle canonica
l
for loops with var
i
able
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
o
m
parison: unsigne
d
can not be less than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: s
e
t
_
_
cur_stmt and __pr
e
v_stmt inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpenter
comp
a
ri
s
on: merging equivalent states is not undefi
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpenter
comparison: fix an indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
f
unction_hoo
k
s: fix up
d
b_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
e
r
funct
i
on_hooks, debug: print impossible returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
help
e
r:
don't
s
trip casting in
g
et_a
r
ray_of
f
set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
ent
e
r
links: export merge_link_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Ca
r
penter
helper: make expr_to_str()
p
r
int
forced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
type: mak
e
t
y
pe_to_str()
return a sn
a
me() buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
pente
r
m
odificat
i
on_hoo
k
s
:
set a variable as modifi
e
d w
h
en
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
user_data2: tag it if a functi
o
n
s
ets parameters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
s
tack: c
l
eanup a function p
r
ototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
de
r
ef_check: ignore arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: make sval_type_max() d
e
fault to "long long
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carp
e
nt
e
r
ty
p
e:
d
on'
t
retu
r
n
S
Y
M_NODE t
y
p
e
s from get_
r
eal_base_t
y
p
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Ca
r
penter
side_effec
t
s: the iterate_all_
k
inds() mac
r
o h
a
s
sid
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
u
nreachable
:
don't c
o
mplain about iter
a
te_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan C
a
rpenter
flow: f
i
x "foo +
=
!bar;" assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan
C
arpenter
lib
:
handl
e
-
f
unsig
n
e
d
-char option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpenter
ker
n
e
l
.
igno
r
e_
s
id
e
_effec
t
s: add
s
o
me mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Ca
r
p
enter
indenting: allo
w
"br
e
ak; case XXX:
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_dat
a
2: m
a
rk sscanf() output as user d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math, rl: fix
handing division involving
n
ega
t
i
ve nu
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Carpen
t
er
sval:
f
ix sval
_
binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
C
a
rpenter
precedence
:
c
o
mpl
a
in a
b
out "fo
o
<< bar
- b
a
z"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
D
an Carp
e
n
t
e
r
f
l
ow: handl
e
struct
i
nitialization b
e
tte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carp
e
n
ter
e
s
tate:
a
dd a NULL ch
e
ck in estat
e
s_
e
quiv()
commit
|
commitdiff
|
tree
2015-03-03
D
a
n
C
a
rpenter
param_us
e
d: store w
h
e
n a par
a
meter is u
s
e
d
so
we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
rpente
r
ext
r
a: i
g
n
o
re
m
ore
_
_in_
f
ake_assign d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
a
rpenter
comparison: fix
a c
r
ashing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
a
r
penter
type:
a
dd an expr_signed() function that mat
c
hes expr_un
s
igned(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
enter
smdb
.
p
y
: add functions to
s
how functions
i
mpleme
n
ting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Car
p
enter
e
xtra: handle tempor
a
r
y
s
h
orthand pointers b
e
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carp
e
nter
dere
f
erences_param: look f
o
r pointers us
e
d as an a
r
ray
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
ch
e
ck_indenting: war
n
about missing
curly braces an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_cl
e
are
d
: add a
comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
r
p
enter
validation: correct some output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Kosk
i
n
en
build:
a
llow use of
P
K
G_CONFIG to override pkg-confi
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
a
rpenter
db: b
u
ild indexes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpenter
slist: f
i
x co
m
pile br
e
akage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_printf: silence some false positives using s
m
a
t
ch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strings:
r
ecord which strings are being use
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Ca
r
pent
e
r
u
s
er_data2: turn on sk
b
-
>
data tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpenter
db:
r
ename FILTER_VALU
E
, L
I
MITED
_
V
A
LUE, and ADDED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
kernel_printf:
s
i
l
e
nce some "st
r
u
ct sockadd
r
" f
a
l
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
type
:
add
u
nions to
t
ype_to_str
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n Carpenter
t
yp
e
_value: spe
e
d up
l
o
a
ding the d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* re
t
u
r
n
_ca
s
t:
c
omplain about
r
eturn -EI
N
VAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
form
a
t_
s
tr
i
ng: dele
t
e this because che
c
k_kern
e
l_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
fu
n
ction_ho
o
ks: add som
e
debug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
extra: cleanup db_param_add_set
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
e
xtra: s
e
parat
e
PAR
A
M_LIM
I
T and
P
A
RAM_F
I
LTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpent
e
r
function_hooks: don'
t
take a shor
t
c
ut for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpe
n
ter
help
e
r: introd
u
ce alloc_sta
t
e_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
math: handle "i
f
(
l
ikely(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
r
pente
r
m
a
th: fix/
c
l
e
anup do_compa
r
ison(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpen
t
e
r
capped:
d
o
n't
r
ecord sin
g
le
v
al
u
es as
c
apped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpe
n
ter
d
b: e
x
port get_stati
c
_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
user
_
data2: wron
g
parameter tagged as user data
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
r
o
senbe
r
g: delete some
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpen
t
e
r
ro
s
enberg
:
st
r
ip away s
o
m
e casting
(
e
l
iminates a fals
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
ro
s
en
b
e
rg: don'
t
save unn
e
ede
d
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
buf_size:
don't
s
ave useless i
n
f
o
rm
a
tion in the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
struc
t
_assignment: ignore more f
a
ke ass
i
g
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
arpen
t
e
r
sli
s
t
: fi
x
de
b
ugging ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
a
r
p
en
t
er
param_c
l
eared, rose
n
berg: add
underscored memset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_filter/set:
d
on'
t
record
fake assignme
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpent
e
r
slist,
de
b
ugging: don't pr
i
n
t ->possi
b
le lis
t
if there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
penter
type_val:
add mor
e
stuff to ign
o
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carpe
n
ter
db/r
e
l
o
ad_partial
.
sh: chan
g
e database info for
one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
an Jegen
Documentation fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
k
ern
e
l
_printf:
p
ut
lots
o
f
single quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpe
n
ter
Merge branch 'devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
chec
k
_kernel
_
pri
n
tf
.
c: Allow const char[] f
o
r
mat
a
rg
u
ments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
h
eck_kernel_printf
.
c: Handle 'fmt ?
:
"default"'
commit
|
commitdiff
|
tree
2015-02-12
R
a
s
m
us Vill
e
moes
c
hec
k
_
kernel_printf
.
c: Simplify r
e
cursive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
che
c
k_kernel_printf
.
c: S
i
mplify recursive
c
alling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf:
a
llow
'
\b' if it's th
e
first
c
haract
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
val
i
dat
i
on/
s
m_r
o
senberg
.
c
:
don't pass
a
n uni
n
iti
a
lized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
ter
ke
r
n
el_printf
:
add some mor
e
quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpenter
kern
e
l
_printf: move a
w
arning
un
d
e
r
the --spammy
f
lag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
k
e
rnel_printf:
a
dd
s
ome q
u
o
tes a
r
ound the funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
a
r
p
e
nter
ke
r
ne_printf
:
'%p
b
' is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Ville
m
oes
che
c
k_kerne
l
_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
check_kernel_p
r
int
f
.
c: S
t
rip pa
r
entheses
commit
|
commitdiff
|
tree
2015-02-11
R
asmus V
i
llemoes
chec
k
_kernel_
p
rintf
.
c: Ha
n
dle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch
:
Check the k
e
rnel's %p fo
r
mat exten
s
i
o
ns
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
smatc
h
: A
d
d --enable opti
o
n
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoes
smatch: Im
p
l
e
men
t
--show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
V
illemoes
s
ma
t
ch: Add dummy element to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van
Oo
s
tenr
y
c
k
Avoid reuse
of st
r
in
g
b
u
ff
e
r wh
e
n
co
n
c
a
t
e
ning adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpenter
wrong_size_arg:
w
a
rn
a
bout "
i
f (memcmp(
f
oo, bar
,
s
i
z
eof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpen
t
er
struct_assignment: remove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sva
l
: han
d
le
LEFTS
H
IFTs in
sval_binop_ov
e
rf
l
ows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next