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
user_data2: handle pointers to user data better
2015-07-01
Dan Carpenter
u
s
er_da
t
a
2
: han
d
le
poin
t
ers to user data b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
u
s
er_data:
a
d
d
k
map_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
pe
n
te
r
user_
d
ata: s/k
m
emdup_user/memdup_u
s
er/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
test_bit:
a
dd set_bit
(
) an
d
clea
r
_bit
(
) f
u
n
c
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
check_deref:
r
e
move call
to
g
e
t
ting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Ca
r
p
enter
e
state:
make clone_estate() take a NULL p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Ca
r
penter
white
s
pace: change some spaces to
tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpente
r
debug:
add some tools for developi
n
g the
d
b parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n Carpenter
buf_size: impr
o
ve resizable struct
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
el
i
minate so
m
e
c
a
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
d
b
: fix
a
bug in spli
t
returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpent
e
r
extr
a
: introduce ge
t
_ext
r
a_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Car
p
e
n
ter
smatch
:
change
a
ll remaining ref
e
r
ences from wa
r
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vill
e
moe
s
prefi
x
smatch ge
n
era
t
ed files b
y
sm
a
t
c
h_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us
V
i
llemoe
s
test_kernel
.
sh: clean up
.
c
.
smatch f
i
les after cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us Villemoes
D
o
cumentation
:
m
a
ke
me less con
f
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us Villemoes
t
race_par
a
ms
.
pl:
f
ix hash/hash reference co
n
fusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
ker
n
e
l
.
i
g
no
r
ed_m
a
cr
o
s: add
S
NIC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Ca
r
penter
unrea
c
h
a
b
l
e:
i
gnore
list_for_each_entry_continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Car
p
enter
extr
a
: h
a
ndle x
=
(u8)y; c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
im
p
li
e
d:
f
ix a
l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an C
a
r
pe
n
ter
type: handle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
m
ath: han
d
l
e
__s
m
atch_i
m
p
l
i
ed(
&
foo->bar) a little be
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nt
e
r
a
s
signed_expr: sto
r
e i
t
late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
func
t
ion_
h
ooks
:
fix validation/sm_compare15
.
c
handlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
locking: add
n
ew down_t
i
meout() f
u
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
smatch_ad
d
ress: f
i
x compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpen
t
er
f
i
xup_ker
n
e
l
.
s
h: ignore some __vfs_write()
c
al
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
fixup_kerne
l
:
update type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Ya
n
g
M
akefile:
e
liminate a llvm-config build
w
arning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
D
an Carpenter
d
ebug: improve __sma
t
ch_s
t
ates
(
)
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpenter
flow: ignore parenthesis in prev_expr
e
ssion_is_getting_ad
d
ress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n Carpent
e
r
unr
e
achabl
e
: i
g
nore netdev_for_e
a
ch_low
e
r
_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
D
an Carpent
e
r
flow: cleanup pre
v
_expression_is_g
e
tti
n
g
_ad
d
ress()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flo
w
: "&foo-
>
bar" i
s
not a d
e
re
f
erence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Ca
r
penter
smatch_address: separate things out int
o
.
b
s
s
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* check_test_bit: check for
test_bit(BIT(0)
,
&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpen
t
e
r
type: speed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan
Carpenter
type: impro
v
e get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n
Car
p
ente
r
fl
o
w: add a
n
ew expr->
p
a
re
n
t struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpe
n
te
r
fi
x
u
p_kernel
:
har
d
c
o
de __spi_sync()
returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
Carpenter
fixup_ker
n
el: k
m
a
l
loc() can allocate
more data
.
L
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Droki
n
c
heck_locking
.
c: Fix
a
nno
y
i
n
g invisible re
a
d_unlock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpen
t
er
s
m
a
tch_add
r
e
s
s: sort
p
o
inter
s
i
n
to diffe
r
ent
r
an
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpente
r
extra: r
e
m
o
ve some u
n
us
e
d
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
D
an Carpe
n
ter
smatch
.
h:
add the comparison
h
ook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpente
r
type
_
to_str: fix a crashi
n
g b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
F
i
ro Yang
sma
t
ch
.
h: add estate_get_si
n
g
l
e_value() decla
r
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
D
an
Carpenter
ignore_side_effects: get_child_rcu() d
o
u
ble evaluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpen
t
er
i
m
plied: use co
m
par
i
son information for im
p
l
i
ca
t
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Car
p
e
n
ter
smatch
.
h
: move stree_stack
d
e
c
laration from smatch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carp
e
nter
ros
e
nberg: add __builtin_memset/
m
emc
p
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user
_
data2: handle
r
eturned struc
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
comparison: update
a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
smdb
.
py: update to reflect LIMIT/FILTER c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
unwind: add s
o
me nu
l
l chec
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
type: include smatch_slist
.
h to
p
reven
t
a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpe
n
ter
ext
r
a
:
don't set
state
s
to u
n
known at th
e
b
e
ginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra:
don't set true fa
l
se s
t
ates if they
ar
e
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
f
u
nction_hooks: add a hack aro
u
nd in compare_db_return_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
l
i
st:
add a comment about register_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_lim
i
t:
h
andle struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carp
e
nter
states
:
white
s
pace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
c
on
d
ition
s
: ignore known
/
implied c
o
ndit
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpe
n
ter
strings: record
s
tri
n
g ass
i
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
struct_assignment: save a lo
t
more information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rpenter
param_limit
/
filte
r
: f
i
x a ty
p
e
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan
Jege
n
db: Avoid
d
ere
f
erencin
g
null pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpenter
comparison:
h
an
d
le ca
n
onical f
o
r loops wi
t
h variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: unsigned can not be less th
a
n zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
ar
p
enter
fl
o
w: set
_
_cur_stmt and __p
r
ev_stmt inside
f
or lo
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: merging equivalent states is
n
ot undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
a
r
p
e
nter
compariso
n
: fix an i
n
dent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
fun
c
tio
n
_ho
o
ks: fix up db_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
f
u
nction_hooks, debug: pr
i
nt impossibl
e
returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
helpe
r
: don't stri
p
casting in get_array_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
lin
k
s: e
x
port
merge_lin
k
_
s
tates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpent
e
r
helper: make expr_to_str() prin
t
fo
r
ce
d
casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
ar
p
ente
r
t
ype:
m
ake type_
t
o_str
(
)
return a sname() buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpenter
modif
i
cation_hooks: set
a v
a
riable as
m
odified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
u
ser_d
a
ta2:
t
ag it if
a function sets
p
a
r
ameters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
sta
c
k: cle
a
nup a
function prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
deref
_
check:
i
gnore arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
a
rp
e
nte
r
type: make sval
_
ty
p
e_max() d
e
f
ault
t
o "l
o
ng long
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
Carpenter
type: don't ret
u
rn
SYM_NODE t
y
pe
s
from
g
et_real_ba
s
e_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carp
e
nter
side_effe
c
ts:
t
he iterate
_
all_k
i
n
d
s
(
) macro has
side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unr
e
achable:
don't
complain about iterate_all_kin
d
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan
C
arpenter
flow: fix "foo
+= !bar;
"
assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
li
b
: handle -funsigned-
c
har option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
an
C
arpenter
ke
r
nel
.
ig
n
ore_sid
e
_effect
s
: add some macr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Carpe
n
ter
ind
e
nting: allow "break; case XXX:
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Car
p
ente
r
user_data2: ma
r
k sscanf() output as user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
pe
n
t
e
r
mat
h
, rl: f
i
x handing divi
s
ion involving
negativ
e
nu
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpenter
sval: fix sva
l
_b
i
no
p
_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
a
r
penter
preceden
c
e
: compla
i
n about "foo << bar - ba
z
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
f
l
ow: handle struc
t
i
n
i
t
ialization
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
D
a
n Ca
r
penter
est
a
t
e: add a N
U
L
L c
h
eck in
estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
arpe
n
t
e
r
param_
u
sed: store whe
n
a par
a
m
e
t
er is u
s
ed so we do
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
nter
extra: ignore
m
ore
__
i
n_fake_as
s
ign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpent
e
r
comp
a
rison: fix
a cra
s
hing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next