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
param_limit: handle struct members
2015-03-30
Dan Carpenter
p
aram_limit
:
handle struct m
e
mb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carp
e
nter
st
a
tes: white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
conditions: ign
o
r
e
known/i
m
pl
i
ed
c
o
n
ditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpente
r
strings: reco
r
d string a
s
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
C
a
r
penter
st
r
uct_
a
ssig
n
ment:
sav
e
a lo
t
more
in
f
orma
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
n
t
er
param_l
i
m
i
t/filt
e
r: fix
a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
S
i
lvan Jegen
db: Avo
i
d der
e
fere
n
cing null poin
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpente
r
comparison
:
han
d
le canonical for loops wi
t
h variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpe
n
ter
comparison:
u
nsigned can n
o
t be
less t
h
an zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
f
l
o
w: set
_
_cur_st
m
t and __
p
rev_s
t
mt
i
nside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpe
n
ter
c
omparison
:
merging equivalent
states is not
und
e
fined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
C
a
rpenter
compari
s
on: fix an inde
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpe
n
t
e
r
function_hooks: f
i
x
u
p
db_compare_ca
l
lback(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
r
penter
function_hook
s
, debug:
p
r
int impossible returns
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
he
l
per: don't stri
p
casting in get_arr
a
y_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Ca
r
p
ent
e
r
links:
e
xport merge_link_s
t
ates
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Ca
r
penter
h
elper: make expr_to_
s
tr() prin
t
fo
r
ced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpen
t
er
type
:
make t
y
pe_to_str() r
e
turn a sname() buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
mo
d
ification_hooks: set
a
var
i
able as modified
w
he
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user
_
data2: tag it
i
f a fu
n
cti
o
n s
e
ts pa
r
amet
e
r
s t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Car
p
enter
st
a
ck: cleanup a func
t
ion prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
deref_check: ignor
e
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
arpe
n
ter
type: m
a
k
e
s
val_typ
e
_max() def
a
ult
t
o
"lon
g
l
ong"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan C
a
rpenter
t
yp
e
: don't r
e
turn SYM_NODE
t
ypes f
r
om get_r
e
al_base_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
a
rpente
r
side
_
effects: the i
t
erate
_
all_k
i
n
d
s() ma
c
ro has sid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpe
n
te
r
unreachable:
d
on't c
o
mplai
n
about iterate_a
l
l_kind
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
D
an Carpenter
f
low: fix "foo += !bar;" assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
D
a
n
Carpenter
lib: hand
l
e -funsigned-c
h
a
r
op
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
an Carpenter
kernel
.
igno
r
e_side_effects: add some ma
c
r
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carp
e
nte
r
i
ndenti
n
g
:
allow "break; case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
us
e
r_data2: mark sscanf
(
) output
as user da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carp
e
nter
math,
r
l: fix han
d
ing division
i
nvolving n
e
gative
n
u
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Carp
e
nter
sval: fix sval_binop_overflows(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpen
t
e
r
pre
c
e
dence: comp
l
ai
n
a
b
out "foo << b
a
r -
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
D
a
n Carpenter
flow: hand
l
e st
r
u
c
t
i
nitializatio
n
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Ca
r
pente
r
estate:
add a NULL chec
k
in
est
a
tes_equiv
(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
para
m
_u
s
e
d
: store whe
n
a
p
a
r
ameter i
s
used
so we
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
r
pe
n
t
er
extra
:
ignore more
__in_fake_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
penter
comp
a
rison: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpen
t
e
r
t
y
p
e
: add an
e
xpr_signed() function that matches e
x
p
r_un
s
igne
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
py:
a
dd fun
c
tions to
s
h
o
w functi
o
ns
i
m
plementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
extra: handle tempo
r
ary shorthand po
i
nters better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
dereferences_param: look
for pointers
u
s
e
d as
an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpenter
c
heck_i
n
dent
i
ng:
w
arn about mis
s
i
n
g cur
l
y brac
e
s and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpe
n
t
er
pa
r
am_
c
leare
d
: add a comm
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Ca
r
penter
validation:
c
orrect some
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro
Koskinen
build: allow
use
o
f PKG_CO
N
FIG to override pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
enter
db: buil
d
i
n
dexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
sl
i
st: fix c
o
mpile br
e
ak
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
en
t
e
r
k
ernel_printf: sile
n
c
e
som
e
false pos
i
tives using smat
c
h_
s
t
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strings: record wh
i
c
h
strings are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_
d
ata2: t
u
rn o
n
s
kb->data
t
a
gg
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpen
t
e
r
db: re
n
ame FILTE
R
_V
A
L
U
E, LIMITED_
V
ALUE, and
ADD
E
D_VALU
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpent
e
r
kernel_print
f
: silenc
e
some "struct so
c
kad
d
r " fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
type: ad
d
u
nion
s
to type_to_s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Da
n
Car
p
ente
r
t
yp
e
_value: speed u
p
l
oading the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan C
a
rpent
e
r
*new* return_cast: complain about ret
u
rn
-EIN
V
AL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpenter
f
or
m
at_
s
tring: delete thi
s
bec
a
use check_k
e
rn
e
l_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
function
_
hooks: add some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
extra: clea
n
up db_para
m
_a
d
d_set
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
extra: separate PARAM
_
LIMIT and PA
R
A
M
_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
function_hooks:
d
on't take a shor
t
cut for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpen
t
er
hel
p
e
r: in
t
roduce
a
lloc
_
sta
t
e_s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
math
:
handle "if
(likely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
math: fix/
c
leanup do
_
c
omparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
r
p
enter
capped: don't rec
o
rd
s
ingle values as capp
e
d
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Car
p
enter
db: export get_static_filter
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
us
e
r_data2: wrong parameter ta
g
ge
d
as user
d
ata
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosen
b
erg: delete some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
r
osenbe
r
g
:
strip away some casti
n
g (eliminates a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
ter
r
osenberg: d
o
n't save unneeded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
buf_size: don'
t
save usel
e
ss
informa
t
ion in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
struct_assignment: i
g
nore mor
e
fa
k
e assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
slis
t
:
f
ix debug
g
ing
o
utpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
p
a
r
a
m
_cleared,
ros
e
nberg: ad
d
underscored memset/cp
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
pa
r
am_fi
l
te
r
/set: don't rec
o
rd
f
a
ke ass
i
g
nmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpen
t
er
slist, deb
u
gg
i
ng: don't print -
>
p
o
ssi
b
le lis
t
if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arp
e
n
ter
ty
p
e_val: add
m
or
e
stuff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
Carpenter
db/reload_partial
.
sh: c
h
ange database info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan
Jegen
Documenta
t
io
n
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpen
t
er
kernel_printf: put lo
t
s of si
n
gle quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
an
Carpent
e
r
Merge branch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check
_
kernel_printf
.
c
:
Allow const char[] form
a
t ar
g
um
e
nts
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kerne
l
_printf
.
c: Handle 'fmt ?
:
"d
e
fault"
'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
chec
k
_kernel_pri
n
t
f
.
c
: Simpl
i
f
y
recursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
ch
e
c
k_kernel
_
printf
.
c:
S
implify
r
e
cursive
c
a
lling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
kern
e
l
_printf:
a
l
low '\b'
if it's the f
i
r
s
t characte
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Ca
r
penter
validation
/
sm_rosenberg
.
c
: don't pass
a
n
uninitiali
z
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
kernel_pr
i
ntf: a
d
d some more
q
uotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: mo
v
e a warning under the
--spammy
f
la
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
ter
kernel_printf: add some
quot
e
s arou
n
d the functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne_p
r
intf: '%pb' is
v
alid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
check_kernel_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemo
e
s
check_
k
ernel
_
printf
.
c: Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoe
s
check_kerne
l
_printf
.
c: Handle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemo
e
s
sma
t
ch:
C
hec
k
the kernel's %
p
f
o
r
m
a
t exte
n
sion
s
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s V
i
llemoes
smatch: Add --enabl
e
option
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Ville
m
oes
smat
c
h: Implement --show-
c
hecks
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villemoes
smatc
h
: A
d
d dummy ele
m
en
t
to re
g
_func
s
commit
|
commitdiff
|
tree
2015-02-11
Luc
V
an Oostenryck
Avoid reuse of string
bu
f
fer
when concatening
adjacen
t
.
.
.
commit
|
commitdiff
|
tree
next