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
check_deref: remove call to getting_address()
2015-07-01
Dan Carpent
e
r
check_deref: remove call to
g
ett
i
ng_add
r
es
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate:
make clone_estate() take a NULL po
i
nter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespace: chan
g
e s
o
m
e
spaces
to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
de
b
u
g
: add some t
o
o
ls for
developing th
e
db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
buf_s
i
ze
:
improve resizable st
r
uct
h
a
nd
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus
V
i
ll
e
m
oes
el
i
minate so
m
e cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n
C
arpenter
d
b: fix
a
bug in spl
i
t ret
u
r
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
Carpenter
extra: introduce get_extra_sta
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carp
e
nter
sma
t
ch: change
all r
e
ma
i
ning ref
e
rences from wa
r
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
R
asmus
Vill
e
moes
prefix smatch generated files b
y
smat
c
h_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us Villemoes
test_kernel
.
sh: clean up
.
c
.
smatch f
i
le
s
after
cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
illemoes
Doc
u
mentation: make me
l
es
s
confused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
m
u
s V
i
llemoes
t
race
_
params
.
pl: fix
h
ash/hash ref
e
rence confusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpent
e
r
kernel
.
i
gnored_ma
c
r
o
s: add SNIC_BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpente
r
unreachable
:
ig
n
ore list_
f
or_each_entry_continue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
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
implied: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
type:
h
and
l
e ty
p
e
o
f()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpent
e
r
math: h
a
ndle __smatch_implied(&foo->bar) a li
t
tle better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
assigned_expr:
s
tore it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
fu
n
ction_hooks: fix
v
a
lidation/sm_compa
r
e1
5
.
c handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n
Carpenter
locking
:
add new down_
t
imeout(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
s
mat
c
h_address: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fix
u
p_kernel
.
sh: ignore so
m
e __vfs_w
r
ite
(
)
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
an
C
a
rp
e
nter
fixup_kernel: update
t
ypes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Fi
r
o
Yang
M
a
k
efile: elimi
n
ate a llvm-c
o
n
f
i
g build
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
D
a
n
Carpent
e
r
d
e
bug: improve __
s
matc
h
_states
(
)
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan C
a
rp
e
nt
e
r
flow: ign
o
r
e
par
e
nth
e
sis
i
n prev_expression_is_getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carp
e
nter
unr
e
achab
l
e: ignore netdev_for_ea
c
h_
l
ower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpen
t
er
flow:
cleanup prev_expression_is_ge
t
ting_addr
e
ss()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpent
e
r
flo
w
: "&foo-
>
bar" is
not a dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
smatch_add
r
e
s
s: separate things out into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Da
n
Carpenter
*new* check_test_bit: check for tes
t
_bit(BIT(0), &fo
o
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Car
p
en
t
er
type: speed
u
p
g
et_typ
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Carpe
n
ter
type: improve get_bi
n
op_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Car
p
enter
flow: ad
d
a n
e
w
e
x
pr->p
a
rent struct me
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpen
t
e
r
fixup_ker
n
el:
har
d
code __spi_sync() r
e
tur
n
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Ca
r
p
enter
fixup_kernel: kmalloc
(
)
can a
l
locate
more data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Dro
k
in
check_lock
i
ng
.
c: Fix
a
n
n
oying invis
i
ble rea
d
_unlo
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carp
e
nte
r
smatch
_
ad
d
res
s
: sort poi
n
ters into
differen
t
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
C
arpenter
extra: remove
s
ome unus
e
d funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Car
p
enter
s
m
atch
.
h: add
t
he
c
ompa
r
ison
h
o
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
D
a
n Carpenter
type_to_str: fix a
cra
s
h
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
smatch
.
h: add estate_get_si
n
gle_value()
d
eclaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
D
a
n Carpenter
igno
r
e
_side_effe
c
t
s: ge
t
_child_
r
cu() double
e
valuates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
imp
l
ied: use co
m
pari
s
on infor
m
ation for
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
r
penter
smatch
.
h: move stree_stack decl
a
r
ation from smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan
Carpenter
rosenberg
:
add __builtin_memset/
m
emcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
u
s
er_data2: ha
n
dle returned struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
com
p
arison: update a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
m
d
b
.
py: update
to reflect
LIMIT/FILTER
c
hange
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
p
e
nter
unwind
:
a
d
d
s
ome
n
ul
l
c
h
ecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
type: incl
u
d
e sma
t
ch_s
l
ist
.
h to preven
t
a
segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
extra:
do
n
't se
t
states
to
u
nknown at the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
extra: do
n
'
t
set true false states if
t
h
e
y
a
re the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
function_hooks:
a
d
d a h
a
ck around in com
p
a
re_db_return_
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpente
r
l
i
st:
a
dd a com
m
ent about re
g
ister_implicat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_limit:
h
andle struct m
e
m
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
penter
states: white spac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carp
e
nter
cond
i
tions: ignore
known/implied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strin
g
s:
r
eco
r
d string
a
ssignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct
_
as
s
ignment: sa
v
e a
l
ot more inform
a
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
param_l
i
m
i
t
/
filt
e
r:
fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jegen
db: Avoid d
e
r
eferencin
g
null
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpenter
compari
s
on:
h
and
l
e
c
anonica
l
for lo
o
ps with vari
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
c
o
mpa
r
ison: unsigned can not
be less than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
pe
n
ter
flow: set __cur_stmt and
_
_prev_stmt inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
comparis
o
n: me
r
ging equiva
l
en
t
states
i
s not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
comparison: f
i
x an i
n
dent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpen
t
er
function_hooks: fix up
d
b
_compare_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpenter
f
u
n
ction_ho
o
k
s
,
d
ebug: p
r
int imposs
i
ble ret
u
rns
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
h
e
lp
e
r
: don't str
i
p
casti
n
g in get_array_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
links: export merge_
l
ink_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
a
rpe
n
ter
h
e
l
per: make
expr_to_str() p
r
i
n
t forc
e
d ca
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpe
n
t
e
r
t
y
p
e: make type_to_
s
t
r
() return a sn
a
me() buf
f
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
mod
i
fi
c
ation
_
hook
s
: set a varia
b
le as modif
i
e
d
when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpen
t
er
user_data2:
tag it
i
f
a
function
s
ets par
a
meters t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Car
p
e
n
t
er
stack: cleanup a func
t
ion prot
o
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carp
e
nter
der
e
f_chec
k
:
i
gnore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan C
a
rpenter
ty
p
e: mak
e
s
val_type
_
max(
)
de
f
ault t
o
"
l
o
ng long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
an Carpe
n
ter
t
ype: don't r
e
turn SYM
_
NODE
types f
r
om get_real_base_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
an Carpenter
side_eff
e
c
t
s
:
the iterat
e
_all_kinds(
)
ma
c
ro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
an Carpente
r
un
r
eachable: don't complain about
i
t
erate_a
l
l_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan C
a
rpe
n
te
r
flow:
f
ix
"
foo += !bar;" a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan C
a
rpen
t
e
r
lib: handle -funs
i
gned-
c
har optio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpent
e
r
kern
e
l
.
igno
r
e_side_e
f
fect
s
: add some
macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Car
p
e
n
ter
indenting: allo
w
"break; c
a
se XXX:
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_data2: mark sscanf(
)
ou
t
put as
user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
math, rl: fix han
d
in
g
d
i
vision
inv
o
l
ving negati
v
e num
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpenter
sval:
f
ix sv
a
l_binop_ove
r
flows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n C
a
r
penter
precedence:
c
o
m
p
la
i
n about
"foo <
<
b
a
r
- baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
D
an Carpenter
flow:
handle struc
t
i
nitializatio
n
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate:
a
dd a N
U
L
L
check
in es
t
a
t
es
_
e
q
uiv()
commit
|
commitdiff
|
tree
2015-03-03
D
a
n Carpent
e
r
param_us
e
d
:
store w
h
en a parameter is used so
w
e
d
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
e
x
tra: ignore more __in_fake_as
s
ig
n
da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
compariso
n
:
fix a cras
h
ing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
C
arpenter
type: add a
n
e
x
pr_signed() fu
n
c
ti
o
n that
m
atc
h
es expr_
u
nsig
n
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smd
b
.
py:
add functions t
o
show fun
c
tions im
p
lemen
t
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
ar
p
enter
extra:
h
andle temporary
s
ho
r
t
han
d
poi
n
ters better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
der
e
fere
n
ce
s
_param: l
o
ok for pointers used as
an
a
r
ray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next