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
type: add an expr_signed() function that matches expr_unsigned()
2015-03-02
Dan Carpenter
type: add an expr_signed()
func
t
ion
th
a
t
m
atche
s
ex
p
r_un
s
igned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
enter
s
mdb
.
py: add
f
un
c
tions to
show
f
unctions implem
e
nting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpenter
extra: handle te
m
porary shorthand
p
ointer
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpent
e
r
de
r
eferences_param: look for pointers used
a
s an arra
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carp
e
nter
c
h
eck_ind
e
nting: w
a
rn about m
i
ssing curly
b
r
aces a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
nter
param_
c
leared
:
add
a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpe
n
t
e
r
validat
i
o
n: correct
s
om
e
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
build: all
o
w
u
se of PK
G
_CO
N
FIG to override pkg-c
o
n
fi
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Ca
r
penter
db: b
u
ild inde
x
es fa
s
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpe
n
ter
sli
s
t: fix com
p
il
e
breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kern
e
l_printf:
s
ilence some fa
l
se posit
i
ves us
i
ng smatch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
s
t
rin
g
s: record which strings are being us
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
user_da
t
a2: turn
on
s
kb-
>
data taggin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db
:
re
n
ame FILTER_VA
L
U
E
,
L
IMI
T
ED_VA
L
UE, and ADDED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
Carpenter
kern
e
l_printf: silence
some "struct sockaddr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
t
y
pe: add unions to type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpe
n
ter
ty
p
e_val
u
e: speed
up loading the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
an Carpente
r
*new* ret
u
rn_ca
s
t: complai
n
about return -EINVAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n C
a
rpenter
format_
s
tring:
delete th
i
s because check_kernel_
p
rintf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpen
t
e
r
function_hooks:
a
dd some
d
ebug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpent
e
r
extr
a
: cleanup
d
b_pa
r
am_a
d
d
_
set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
extra: se
p
a
r
a
te PARAM_LIMIT and PARAM_FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
pe
n
ter
functi
o
n_hoo
k
s
: don
'
t
t
ake a short
c
ut fo
r
"needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: i
n
troduce alloc
_
state_
s
t
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
en
t
er
math
:
han
d
le "
i
f (likely(1
)
) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: fix
/
cl
e
anup do
_
com
p
ari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
capped
:
don't record single va
l
ues
a
s capped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
arpenter
db: export get_sta
t
ic
_
f
ilter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user
_
d
a
ta2: w
r
ong parameter tagged as
us
e
r
data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
r
o
s
enberg: delete some co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ro
s
e
n
b
erg: strip
a
way some c
a
sti
n
g
(eliminates a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpe
n
te
r
r
o
senb
e
rg: don't save unneeded states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
buf_size
:
don't save us
e
less informati
o
n
i
n the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
s
truct_a
s
sig
n
m
ent: ig
n
ore more fake a
s
signment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
slist: fix debugg
i
ng ou
t
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_c
l
eared, rosenberg: add underscor
e
d memset
/
cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
enter
param_filter/s
e
t:
d
on
'
t
rec
o
rd fake a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist,
debugging:
d
o
n't print
-
>p
o
s
s
ib
l
e
list if there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type
_
v
a
l: add
more stuff to ig
n
o
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
db
/
r
e
load_pa
r
tial
.
sh: change da
t
abase
inf
o
f
o
r one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Silva
n
J
egen
Documen
t
ation fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpen
t
er
k
e
rnel_printf: put lots of sin
g
l
e quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n
C
arpente
r
M
erg
e
branch 'devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmu
s
Villemo
e
s
ch
e
ck
_
kernel_printf
.
c:
A
llo
w
c
o
nst
ch
a
r[] format argumen
t
s
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
V
illemoes
check_kernel
_
printf
.
c
:
Hand
l
e
'fmt ? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemo
e
s
check
_
k
e
rnel_printf
.
c: Sim
p
lify recurs
i
ve c
a
lling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an Car
p
en
t
e
r
c
heck_kernel_printf
.
c: Simplify
r
ecursi
v
e calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_pr
i
nt
f
:
allow
'\b' if it
'
s th
e
first character
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rp
e
nter
vali
d
a
tion/sm_rosenberg
.
c: don
'
t
p
ass
a
n un
i
nitiali
z
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
k
e
r
nel_printf: add some
m
o
r
e
quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
r
nel_printf: move
a warning under the --spammy flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpenter
kernel_printf: add
s
ome quot
e
s around the fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
kerne_printf:
'
%pb' is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemo
e
s
check_kernel_p
r
intf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Vi
l
lemoes
c
heck_kerne
l
_print
f
.
c: Str
i
p
p
aren
t
hese
s
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemo
e
s
check_
k
ernel_printf
.
c
: Handle
con
d
itional
s
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
smatch: Ch
e
ck
the ker
n
e
l's %p forma
t
extensions
commit
|
commitdiff
|
tree
2015-02-11
R
asmu
s
Villemoes
smatch:
A
d
d
--e
n
able option
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Ville
m
oes
smatch: Imp
l
em
e
nt --
s
how-checks
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
m
us Villemoes
sma
t
ch:
A
dd dummy ele
m
e
n
t to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van Oostenryck
Avoid reuse
of string
bu
f
fer whe
n
concaten
i
ng adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
D
a
n Car
p
enter
wrong_size_arg: war
n
about "if (memcmp(foo
,
b
a
r
,
sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
an C
a
rpen
t
e
r
struct_assignment: remove a blank
lin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sval
:
handle LEFTSHIFTs i
n
sv
a
l
_
b
inop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
penter
sva
l
:
c
ast the result i
n
s
v
al_bino
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nter
t
y
pe_val: upda
t
e to handle PAR
A
M_
S
ET
f
rom the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpe
n
te
r
t
y
pe_val:
i
gnore kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
n
ter
type_
v
a
l
: ignore all th
e
"for_each"
m
acro
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpe
n
ter
user
_
dat
a
2: remove some
de
b
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan
Carpente
r
helper:
i
ntro
d
u
ce inv
e
rt_op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n Carpenter
ranges: b
r
eak the range list parsing into a
separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n Carpenter
ranges:
p
repar
e
to change a str
i
ng
to an estate instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
m
o
dification_hooks:
a
dd PARAM_SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Da
n
Carpenter
param_cleared: clearing a member is not clearing a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpen
t
er
type_val: i
g
nore fake member
assignme
n
ts from uncasted
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpe
n
t
er
type_value: list_entr
y
is safe as w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db: use saved ret
u
rn
estate ins
t
ead of sear
c
h
i
ng the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
debug: introduce __smat
c
h_
k
n
o
wn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan
Carp
e
n
t
er
db
,
extra: use P
A
R
A
M_SET if
t
he parame
t
er is
totally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Ca
r
pente
r
fre
e
s
_
param: mod
i
fy means it's n
o
t freed anym
o
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Car
p
e
n
ter
slist: fix "
s
tack n
o
t empty"
errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-12
Dan Carpenter
sile
n
ce: add __re
a
d_once_s
i
ze()
to kernel
.
silenced_fun
c
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
comparison:
h
andle preops like "if (
+
+a == b)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
an
C
arpenter
flow: don't
inline functions which are o
v
er
2
0
lines
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpenter
function_ptrs: han
d
le
S
YN_NODE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
hel
p
e
r: improve get_member_n
a
me()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
use
r
_data2: start
r
e
-write of
user
_
data
(
no
t
use
d
yet)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
penter
math: i
n
tro
d
uce c
u
st
o
m_get_a
b
solute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Ca
r
pent
e
r
db: improve
mem-d
b
debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpe
n
t
e
r
db: member_info callb
a
ck should pass the sm_state instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
smatch
.
h: s
i
lence
s
o
m
e compile warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
pe
n
ter
f
r
ee: br
i
ng back the double
f
r
e
e warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpent
e
r
extra, filter: FILTER_VALU
E
i
s no
t
a modificat
i
on action
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
p
aram_fi
l
t
er:
total
re-write with bugfixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
extra: impr
o
v
e parent_i
s
_
n
ull_var
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
r
penter
db, function_hooks
:
cull impossible paths on fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carp
e
n
t
er
extra: handle co
d
e like foo = &bar->x
.
y
.
z; foo->a = 1;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpent
e
r
h
o
oks: all
o
cating 1 too much
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n
Carpenter
math
:
fix OR h
a
ndling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpente
r
ranges: apply range limit togeth
e
r with call ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next