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
extra: remove some unused functions
2015-04-23
Dan Carpenter
extra:
r
emove some unuse
d
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpe
n
ter
smatch
.
h: add the comparison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Ca
r
penter
type_to_str:
fix a crashing
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan C
a
rpenter
i
g
nore_side_effects: get_chil
d
_rcu() d
o
uble eva
l
uates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpente
r
impl
i
ed:
use compari
s
on information for
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Carpenter
smatch
.
h: move
s
t
r
ee_stack dec
l
aration
f
rom s
m
atch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan
C
a
r
penter
r
osenberg:
add __builtin
_
memset/
m
emcpy
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carp
e
nter
user_data2: h
a
ndle returned struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
com
p
ari
s
o
n
:
u
pda
t
e a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
py
:
update to reflect L
I
MIT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n C
a
rpenter
u
nw
i
nd: add
s
ome null c
h
ecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
typ
e
: include
s
m
a
tc
h
_sli
s
t
.
h
to prevent a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
extra: don't set s
t
ates
to u
n
k
n
own at the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
extra: don'
t
set true
f
als
e
s
tates
i
f t
h
ey are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
f
u
nction_hooks: add a ha
c
k
a
round in c
o
m
pare_d
b
_
return_stat
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
li
s
t: add
a
comment ab
o
ut
reg
i
ster
_
im
p
licatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rpenter
param_l
i
mit: h
a
ndle struct me
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
stat
e
s: white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
conditions:
i
gnore known/i
m
p
l
ied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
trings: re
c
ord string
assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_assignment: save a
lo
t
m
o
re information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
para
m
_limit/filter: fix a type
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Ca
r
p
enter
compar
i
s
on: handl
e
can
o
n
ical for loops with variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
co
m
parison: unsigned
c
an not be less than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: set _
_
cur_stmt a
n
d __prev_stmt
inside for loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
co
m
parison: merging e
q
uivalent
stat
e
s is not un
d
efined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Car
p
enter
comparison
:
f
ix
a
n
i
n
dent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpenter
function_hooks:
fix up db_compa
r
e_ca
l
lback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
funct
i
on_
h
ooks, debug:
p
rint
impossible returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
C
arpenter
helper:
d
on't str
i
p casting in get_arr
a
y_offset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
en
t
er
li
n
ks: export
merge_
l
in
k
_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpen
t
er
h
e
l
per: ma
k
e expr
_
t
o_str() print
f
orced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
Carpe
n
ter
type: make type_to_str() return a s
n
ame()
b
uffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modification_hooks: s
e
t a variable as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user
_
data2: ta
g
i
t
i
f
a function s
e
ts paramet
e
rs to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arp
e
nter
stack: cleanup a function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
pente
r
d
e
ref_
c
heck: ig
n
ore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carp
e
nter
type: make sval_type_max()
d
ef
a
ult t
o
"l
o
ng long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type
:
do
n
't
return SYM_NODE
typ
e
s f
r
om get
_
r
e
al_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n
C
ar
p
enter
sid
e
_
effects: the iterat
e
_all_kinds() macro has si
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreac
h
able: don't complain
a
bout iterate_
a
l
l
_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
D
a
n Ca
r
pe
n
ter
flow:
f
ix "foo += !bar;" assi
g
nmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpente
r
lib
:
han
d
le -fun
s
igned-ch
a
r
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
an Carpenter
kernel
.
ignore_side_eff
e
cts
:
a
d
d som
e
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
ar
p
e
n
ter
ind
e
nti
n
g
: allow "break; case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_data2: mark ss
c
anf()
o
utput as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Ca
r
p
enter
m
a
th, rl: fix
h
and
i
ng
d
ivision inv
o
lving negative
n
umbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Ca
r
penter
sval: fix s
v
al_bi
n
op_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
prece
d
enc
e
: compl
a
in about
"
foo << bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpen
t
er
flow: handle struct in
i
tializ
a
tion bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate: add a
N
ULL chec
k
in e
s
tates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
D
an C
a
rpenter
param_used: st
o
re
when a paramete
r
is used
so we d
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: ignore more __
i
n_fake_
a
ssign
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carp
e
nter
comparis
o
n:
fix a cr
a
shing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpent
e
r
ty
p
e: a
d
d an expr
_
signed(
)
function that matches expr_unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smd
b
.
py: a
d
d
f
unc
t
ion
s
to sh
o
w functions implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
C
a
rp
e
nter
e
x
tra: handle temp
o
rary shorthand
pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
er
dereference
s
_
p
ara
m
: lo
o
k for pointers
u
sed
a
s
a
n
a
r
r
ay
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
c
h
eck
_
i
n
denting:
warn about missing curly brace
s
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpe
n
ter
p
a
ram_clea
r
ed: add a
c
omme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpen
t
er
validation: cor
r
ect so
m
e ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
a
rpenter
db:
b
uild
indexe
s
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
a
r
penter
s
l
is
t
: fix
c
omp
i
le break
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Carpente
r
kernel_printf: silence s
o
me fa
l
s
e
positives using smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strin
g
s: record
w
hich strings ar
e
being us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpente
r
user_data2: turn on skb->data
ta
g
gi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
db: rename FIL
T
ER_VALU
E
, LIMITED_VALUE
,
a
n
d AD
D
ED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
Carpen
t
e
r
k
e
rnel
_
printf
:
silence som
e
"struct sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpenter
type: ad
d
un
i
ons to type_to_
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
typ
e
_value: speed up loading the
da
t
a
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan
Car
p
enter
*new* return_cast: c
o
mpla
i
n about retu
r
n -EINV
A
L in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
format_str
i
ng:
delet
e
th
i
s because check_ker
n
el_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
ente
r
f
unction_hoo
k
s:
add some de
b
u
g o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carp
e
nter
extra:
clea
n
up db_param_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
e
x
t
ra: sepa
r
ate PAR
A
M_L
I
MI
T
and
P
ARAM_FI
L
TER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n C
a
rpen
t
er
fun
c
tion_hooks
:
don't t
a
ke a sh
o
rtcut f
o
r "nee
d
less
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
help
e
r
: introdu
c
e all
o
c_state_s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
m
a
t
h:
h
andle "if (likely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
math: fix/c
l
e
anup do_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpent
e
r
capped: don'
t
r
e
cord single value
s
as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Car
p
enter
db
:
export
g
e
t_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
user_
d
ata2: wron
g
p
a
rameter tagged as
u
ser data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
rosenbe
r
g: delete som
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
rosenberg:
s
trip away some casting (eliminates
a
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
rosenber
g
: don't s
a
v
e
unneede
d
stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
buf_size: don
'
t
s
ave useless informa
t
ion in the
d
a
t
a
ba
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
struc
t
_assignment: ignore more fake
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slist: fi
x
d
e
bu
g
gi
n
g outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
pa
r
am_c
l
eared, ro
s
enberg: add u
n
derscored
memset
/
cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
para
m
_
f
ilter/s
e
t
: don't r
e
cord fake assign
m
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
en
t
er
slist, debu
g
ging:
d
on
'
t pr
i
nt ->p
o
ss
i
ble
l
i
st if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
t
y
pe_val:
add more stuf
f
to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpenter
d
b
/rel
o
a
d_partial
.
sh: ch
a
nge dat
a
base info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n Carpent
e
r
kernel_pr
i
ntf: put l
o
ts of singl
e
quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
Merge branch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
check_kernel_pri
n
t
f
.
c: Si
m
p
l
ify
r
ec
u
r
s
ive calli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nter
kernel_printf: allow '\b
'
if it's the firs
t
ch
a
racte
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpen
t
er
valida
t
ion/sm_rosenberg
.
c: don't
pas
s
an uninitializ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rnel_prin
t
f: a
d
d
some mo
r
e
q
uotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rn
e
l
_prin
t
f
: move a
warning und
e
r the --spammy
f
lag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next