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
db: fix a bug in split returns
2015-06-26
Dan C
a
rp
e
n
ter
db:
fix a
b
ug
i
n split ret
u
rn
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpenter
ex
t
ra: introduce get_extra_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
smatch: change all remaining
r
efer
e
nces
f
rom wa
r
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan C
a
r
p
enter
kernel
.
i
g
no
r
ed_macros: add
SNIC_BU
G
_
O
N()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
D
a
n Carpe
n
t
er
unreachab
l
e: ignor
e
li
s
t
_
for_each_entry_contin
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Ca
r
penter
extra: handle x = (u8)y; correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
i
mplied: fix a lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
type
:
han
d
le
t
ypeo
f
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
math: handl
e
__
s
match_i
m
pli
e
d(
&
foo->bar
)
a lit
t
le better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
a
s
signed_expr: sto
r
e
it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
fun
c
tion_hooks: fix
val
i
dat
i
on/sm
_
co
m
pare15
.
c
han
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nt
e
r
locking:
ad
d
n
e
w
do
w
n_t
i
meo
u
t() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
smatch_addr
e
ss: fix c
o
mpile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_kernel
.
sh:
ig
n
ore some __vfs_write() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
an Car
p
enter
fixup_kerne
l
: u
p
date types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan
C
a
r
penter
de
b
ug: improve _
_
smat
c
h_sta
t
es()
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpenter
flow: ign
o
re
parenthesis in prev_expression_is_gett
i
ng_a
d
dress(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n Carpente
r
unreachab
l
e
: ignor
e
netdev_fo
r
_each
_
lower_d
e
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
D
an Carpenter
flow:
c
leanup prev_expression_is
_
getting
_
address(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow: "&foo->b
a
r" is n
o
t
a
d
ereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
Carpenter
smat
c
h_addres
s
: s
e
par
a
te things out into
.
b
ss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*n
e
w*
check_test_bit: chec
k
f
or test_b
i
t(BIT(0), &fo
o
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Ca
r
pe
n
te
r
type: speed
u
p get
_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Car
p
enter
typ
e
: impr
o
v
e
get_bino
p
_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Car
p
enter
flow: add a new exp
r
->pa
r
ent struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Car
p
enter
fixup_kernel: hard code
__spi_s
y
nc(
)
ret
u
r
ns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
a
rpent
e
r
fixup_kernel: k
m
alloc
(
) can allocate more
d
ata
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Da
n
Carpente
r
smatc
h
_
a
ddr
e
s
s
:
sort pointers into dif
f
ere
n
t ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan
C
arpenter
e
xtra: r
e
move some unu
s
ed func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
smatch
.
h: a
d
d the comparison h
o
ok
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Car
p
enter
ty
p
e_to_st
r
: fi
x
a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan
C
arpenter
ignore_side_effects: get_c
h
ild_rcu() dou
b
le ev
a
luates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpent
e
r
i
mp
l
ied:
u
se comparison informatio
n
for implic
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpen
t
er
smatch
.
h: move stree_stack decla
r
a
t
ion from smatch
_
slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Ca
r
pente
r
rosenberg: add __b
u
iltin_memset/memc
p
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user_
d
ata2: h
a
ndle
return
e
d struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpente
r
comparison: up
d
at
e
a c
o
mment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpente
r
smd
b
.
py:
up
d
ate to ref
l
ect LIMIT/FILT
E
R chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
unw
i
nd: add some null che
c
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
type: include smatch
_
sli
s
t
.
h to prevent
a
s
egfaul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpen
t
er
ext
r
a:
d
on't set states to unknown at the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
e
x
t
r
a: don't
set true false states if they are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
fu
n
ct
i
on_
h
o
o
ks: a
d
d
a hack around in c
o
mpare_db_return_sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list:
add a comment abou
t
regi
s
ter_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
param_
l
im
i
t
: handle struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpe
n
te
r
states: wh
i
te space
f
ix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
c
onditions: ign
o
re know
n
/implied con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
str
i
n
gs: recor
d
strin
g
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
struct_assignment:
save
a
lot more information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpent
e
r
param_
l
imit/fil
t
er: fix
a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpenter
comparison: handle canonical f
o
r loops with vari
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
compari
s
o
n: unsigne
d
can not b
e
l
e
ss
tha
n
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpen
t
er
flo
w
: set _
_
cur_stmt and __prev_st
m
t inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compar
i
son:
mergin
g
equ
i
valent states is n
o
t
undefin
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparis
o
n: fix an indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
funct
i
on_hooks: fix up db_
c
ompare_callba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
f
u
nction_hooks,
d
e
bug: print
impossible returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
e
n
ter
helper:
d
on't s
t
ri
p
casting
in
get_a
r
ray_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
lin
k
s: export me
r
ge_link_states(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: make
e
xpr_to_str()
print forced
ca
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpent
e
r
typ
e
: make typ
e
_
t
o_str() return a sname()
buffer
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
D
a
n
Carpent
e
r
user_data2: tag it if a function sets pa
r
ameters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
s
tack
:
cleanup a fun
c
tion
prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
d
e
ref_check: ig
n
ore
a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Ca
r
penter
t
y
p
e: make sval_type_max()
defa
u
lt to "lo
n
g long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
arpenter
ty
p
e
: don't return SYM_N
O
DE types
from g
e
t_real_
b
ase_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpen
t
e
r
sid
e
_effects: the itera
t
e_all_ki
n
ds() ma
c
ro has side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carp
e
nt
e
r
unreachable: don't comp
l
ain abo
u
t i
t
erate_all_kinds(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan
C
arpe
n
ter
flow:
f
ix "foo +=
!bar;
"
assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
lib: handle -fu
n
signed-char option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpenter
ker
n
el
.
i
g
n
ore_side_effects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
r
p
e
nter
indenting: allow "break; ca
s
e
XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_data2: mark sscanf() output
as user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpenter
math, rl:
f
ix handing divis
i
on involving negat
i
ve numb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpenter
sval: fix sval_
b
inop_overf
l
ows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
an
C
a
r
p
enter
precedence:
complain ab
o
ut "fo
o
<
<
b
a
r
- baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan
C
ar
p
enter
flow: handle struct ini
t
i
alization be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpe
n
t
er
estate
:
a
d
d
a NULL check in est
a
tes_equiv(
)
commit
|
commitdiff
|
tree
2015-03-03
D
a
n
Carpen
t
er
par
a
m_used: s
t
ore wh
e
n a parame
t
er is used so
w
e don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Car
p
e
n
ter
extra:
i
gnore more
__i
n
_fake_assign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpenter
c
o
m
pari
s
on: f
i
x a
crashing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
t
ype: add an expr_signe
d
() funct
i
on that matches expr_
u
nsig
n
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
s
m
d
b
.
py:
a
d
d functions
t
o
show
f
un
c
ti
o
ns implementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
an
C
arpen
t
er
ext
r
a:
handle tempo
r
ary
short
h
an
d
p
o
inters
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Carpenter
derefer
e
nces_param: look f
o
r pointers u
s
e
d
as an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
ch
e
ck_inde
n
ting: warn about missing
curly braces and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Da
n
Carp
e
nter
p
ar
a
m_cleared: ad
d
a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
v
alid
a
t
ion: correct some
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpenter
db: build indexes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpent
e
r
sli
s
t: fix com
p
il
e
br
e
a
kage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan C
a
r
penter
kern
e
l_prin
t
f: silen
c
e s
o
me false
p
ositiv
e
s using s
m
a
t
c
h
_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an
Carpenter
strings
:
r
ecord which strings
are being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpenter
us
e
r_d
a
ta2: turn on skb->
d
ata tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpente
r
db:
r
en
a
me FILTER_V
A
LUE, LIMITED_VALUE, and ADDED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
kernel_pr
i
n
t
f: sile
n
ce
some "struct
s
ockaddr " fal
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpenter
type: add unions to
t
y
p
e
_t
o
_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Car
p
enter
type_va
l
ue: sp
e
ed up loading
t
he
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* return
_
cast:
c
o
mplain about
return -EINVAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_stri
n
g: delete th
i
s
because ch
e
ck_kernel_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next