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
buf_comparison: split the code up and move it around
2015-04-22
D
a
n
Carpenter
type_to_s
t
r: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpe
n
ter
i
g
n
ore_side_effects: get_chil
d
_rcu() d
o
uble eval
u
ates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
D
an Car
p
ente
r
implied: use
compa
r
ison information
for
i
mplications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpe
n
t
e
r
smatch
.
h: move
stree_stack declaration f
r
om sma
t
ch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Da
n
C
a
rpent
e
r
rosenberg: add __
b
uiltin_memset/memcpy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
u
ser_data2: handle
r
eturned str
u
ct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpe
n
ter
c
o
mpariso
n
: up
d
at
e
a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
p
y: update to
r
efl
e
ct LIMIT/FILTER chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
r
penter
unw
i
nd
:
add
some null checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
type:
i
nc
l
ude sm
a
tch_slist
.
h t
o
preven
t
a segfaul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpen
t
er
extra: don't
set states to unknown
a
t
the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
extra:
don't set true
false
s
tate
s
i
f
they are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
functi
o
n
_hooks: add a
h
a
ck around
in com
p
are_db_retu
r
n_stat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list: add
a
comment
about register_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
para
m
_limit: h
a
ndle struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
tates:
w
h
ite space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
conditions: ign
o
re known/implied conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpent
e
r
st
r
ing
s
:
record string
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rp
e
nter
struct_
a
ssign
m
e
n
t: s
a
ve a l
o
t more
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
pen
t
er
param_limit/filter: fix a
t
y
p
e bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpente
r
comparis
o
n
:
handle canonical for loops
w
it
h
v
a
r
i
a
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compar
i
son: unsig
n
ed can not be less than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
a
rpenter
flow: s
e
t __cur_stmt and
__p
r
ev_st
m
t inside for
lo
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n C
a
r
p
enter
comparison: mergi
n
g
equivalent states
i
s not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Car
p
e
nter
compar
i
son: fix an inden
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
arpe
n
te
r
fu
n
ction_hoo
k
s
: fix
u
p db_
c
ompare_
c
allback(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpent
e
r
function_h
o
o
k
s,
d
e
bug:
p
rint i
m
possi
b
le
r
e
tu
r
ns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Ca
r
p
ente
r
helper
:
don't strip casting in
g
e
t
_array_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
l
inks: export merge_l
i
nk_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
helper:
make expr_
t
o_st
r
() print forced ca
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpenter
t
y
pe: mak
e
type_to_s
t
r() retu
r
n a sname() buff
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modification
_
h
o
oks:
se
t
a var
i
able as modified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user_da
t
a2: tag
i
t if a func
t
ion
sets parameter
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
stac
k
: clea
n
u
p
a function prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
d
eref_check:
i
gnor
e
arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpente
r
type: m
a
ke sval_typ
e
_max() default to
"
long
l
o
n
g
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpen
t
er
type: d
o
n't
r
eturn
SYM_N
O
D
E types f
r
om get
_
real_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n Carp
e
n
ter
s
ide_e
f
fects: the it
e
rate_all_kinds() macro has
side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unre
a
chabl
e
:
don'
t
compl
a
in
about
i
terate_all
_
kind
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
f
low:
f
ix "foo += !bar;" as
s
ignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpe
n
te
r
lib
:
handle -funs
i
gned-char option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Carpenter
kernel
.
i
gnore_side_
e
ff
e
ct
s
: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
C
a
r
pen
t
er
i
ndenting
:
allow "break;
cas
e
XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
ter
user_
d
a
ta2: mark ss
c
an
f
() o
u
t
put as user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
ma
t
h,
rl: f
i
x ha
n
din
g
divi
s
ion involving nega
t
ive numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carp
e
nter
sval: fix sval_binop_overflo
w
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Car
p
enter
precedenc
e
: compl
a
in about
"
foo <<
bar - ba
z
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Ca
r
penter
flow: handle struct initiali
z
ation b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
arpen
t
er
estate: add a
N
UL
L
check in es
t
ates_equ
i
v()
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
rpente
r
param_used: st
o
re when
a parameter is use
d
so
w
e
don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpenter
extra: ignore more
__in_fak
e
_assi
g
n d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
comparison: fi
x
a crashing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpenter
type: add an expr_signed()
function th
a
t
matches expr_u
n
s
i
g
n
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
sm
d
b
.
py
:
add fu
n
cti
o
n
s
to show f
u
nc
t
ions impl
e
menting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
C
a
rpent
e
r
ex
t
ra
:
han
d
le temporar
y
s
horthand
poin
t
ers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
d
e
ref
e
rences_param: look
for
p
o
i
nters used as an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
e
n
ter
check_indenting
:
warn about m
i
ssing curly braces and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
ar
p
enter
param_c
l
eared: add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n
C
a
rpe
n
ter
valida
t
ion: corr
e
ct som
e
outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
db: bu
i
ld ind
e
xes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
sli
s
t: fix co
m
p
i
l
e
br
e
akage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
ar
p
e
nter
kernel_printf: sile
n
ce some false positives using smatch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Ca
r
penter
str
i
ngs: re
c
ord which st
r
ings are being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
user_data2:
turn
on skb->data ta
g
gin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpenter
d
b: rena
m
e
F
I
L
TER
_
VALUE, LIMITED_VALUE
,
and
ADDED
_
VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
kernel_printf: si
l
en
c
e some "struct s
o
ckaddr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type:
a
d
d u
n
ions to type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n C
a
rpenter
type_value: speed up lo
a
ding t
h
e databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*n
e
w* return_cast: complain about return
-
EINVAL
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
format_string:
d
elet
e
this because check_k
e
rnel_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
function_hooks:
a
dd some debug out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: clean
u
p db_p
a
ram
_
add_s
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carp
e
nter
extra: se
p
arate
P
ARAM_LIMIT a
n
d
PARAM_FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
function_hooks
:
don't take
a
shortcut for "nee
d
less
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpen
t
er
helper
:
intr
o
duce alloc_sta
t
e_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: handle "if (li
k
ely(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Ca
r
penter
math: fix/cleanup do_
c
o
mparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an
Carpenter
capped:
d
on'
t
r
e
cord
sing
l
e values as
capped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Ca
r
penter
db: export get_static_
f
ilter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
u
s
e
r_data2: w
r
ong
p
a
r
ameter
t
agged as user
d
ata in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
rosenberg: delete some code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ros
e
nb
e
rg: strip away some casting
(
eli
m
inates a f
a
lse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arpenter
rosenberg:
d
on't save un
n
e
e
d
e
d state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arpenter
buf_size: don't sa
v
e use
l
ess i
n
formation in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
stru
c
t_assignm
e
nt:
i
g
nore
m
o
r
e
f
a
ke assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slist: fix
d
ebugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_cl
e
ared, rosenberg
:
a
d
d underscored
me
m
set/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpente
r
param
_
fi
l
ter/se
t
: don't record fake ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpen
t
e
r
slist, debug
g
ing:
d
on't print ->possib
l
e list
i
f there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpen
t
er
typ
e
_val: add more stuff to ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpenter
d
b
/reload_
p
artia
l
.
sh: cha
n
ge database info for one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
an Carpent
e
r
kernel_printf: put lots o
f
single
q
uote
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Da
n
Carpenter
Merge branch 'devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpen
t
er
ch
e
ck
_
kernel_printf
.
c:
S
implify recursive
c
alling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
ernel_
p
r
i
ntf: allo
w
'
\
b' if it's the first character
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
validation/sm_rose
n
berg
.
c: don't p
a
ss
an uninitial
i
zed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rnel
_
p
r
intf:
a
dd some more
q
uo
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
kernel_print
f
: move a warnin
g
under the --spam
m
y flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf:
a
dd some quot
e
s
around
the func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
kerne_printf: '
%
p
b
' is
v
a
lid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next