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
assigned_expr: store it late
2015-06-09
Dan Carpen
t
er
a
ssigned_expr
:
store it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpent
e
r
function_hooks
:
fix va
l
idation/sm_compar
e
15
.
c han
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpenter
locking:
ad
d
new dow
n
_timeo
u
t()
func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
n
t
e
r
smatch_address:
fi
x
compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nter
fixup_kernel
.
sh
:
ig
n
o
r
e som
e
__vfs_write() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
f
i
xup_kernel: up
d
ate types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
F
i
ro Yang
Makefil
e
: eliminate a ll
v
m-c
o
nfig build warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
D
a
n Ca
r
penter
d
e
b
ug: impro
v
e __sma
t
ch_states() out
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan C
a
r
p
enter
flow
:
i
g
n
ore
p
are
n
thesis in prev_ex
p
ression_is_getting_addres
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Da
n
Carpenter
unre
a
chable: ignor
e
netdev_f
o
r_each_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow: cleanup pr
e
v_e
x
p
ression_is_getting_address(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow: "&fo
o
->ba
r
"
i
s not a der
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan
Car
p
en
t
er
smatch_address: separate things out into
.
b
ss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Ca
r
pe
n
ter
*new* chec
k
_test_bit: ch
e
ck for tes
t
_
bit(BIT
(
0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: speed up get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n Carpenter
t
yp
e
: improve
g
et_binop_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Car
p
ent
e
r
flow:
a
dd a ne
w
ex
p
r->pare
n
t struct mem
b
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
D
an Carpenter
fixup_kernel: hard c
o
de __s
p
i
_sync()
ret
u
rns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_
k
e
r
nel: kmalloc() can allocat
e
more d
a
t
a
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
O
l
eg Drokin
chec
k
_locking
.
c: Fix annoying
i
nvisible
r
ead_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smatch_address: sort pointe
r
s into
d
i
ff
e
rent ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carp
e
nter
e
x
t
ra: remove some u
n
used function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Ca
r
pen
t
er
smatch
.
h: add the
comparison ho
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
type_to_str: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
s
match
.
h:
a
dd es
t
ate_get_single_value() dec
l
arati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan C
a
rpen
t
er
i
g
n
ore_side_e
f
f
ects: get_child_
r
cu() double ev
a
l
uates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan
C
a
r
p
enter
implied: use comparison information
for implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carp
e
n
ter
s
m
at
c
h
.
h: move stree_
s
t
ack declaration from
s
m
atch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
D
a
n
Carpen
t
e
r
rosenberg: add __built
i
n_memset/mem
c
py
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
user_data2
:
handle retur
n
ed struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nt
e
r
compar
i
son: update
a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Ca
r
penter
smdb
.
py
:
update to r
e
flect LI
M
I
T/FIL
T
ER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
t
e
r
unwind: a
d
d some null
c
heck
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpe
n
ter
type: include
smat
c
h
_slist
.
h
t
o prevent a s
e
g
f
ault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
extra: don't
set stat
e
s to unknown at the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpe
n
ter
extra: 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
Da
n
Ca
r
pe
n
ter
funct
i
on_hooks:
a
dd a hac
k
aroun
d
i
n
compare_
d
b_return_st
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
li
s
t
: add
a
comme
n
t about re
g
i
s
ter
_
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
Carpent
e
r
param_
l
i
m
it: handle struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
states:
whit
e
s
p
ace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
condition
s
: ig
n
ore known
/
impl
i
e
d
c
o
nditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
Carpenter
strings
:
record
s
tring assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
s
t
ruct_assi
g
nment: save a lot mor
e
information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
param_l
i
m
it/filter: fix a type
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silva
n
J
e
gen
db: Avoid dereferencing null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpent
e
r
compa
r
ison:
handle canon
i
c
al for loops
wi
t
h
v
ar
i
able
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: un
s
igned
c
an
not be le
s
s
than zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpent
e
r
f
low: set
__cur_stmt and __pre
v
_st
m
t inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparis
o
n:
merging equival
e
n
t states is not
undef
i
ned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpe
n
ter
compa
r
i
s
on:
fix an in
d
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpenter
function_h
o
oks
:
fix up db_comp
a
re_cal
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_hooks, deb
u
g: print impossib
l
e returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
r
pent
e
r
helpe
r
: don't strip casting
in g
e
t_
a
rray_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links: exp
o
rt merge_lin
k
_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: m
a
ke expr_to_str
(
)
p
rint forced cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carp
e
nter
ty
p
e: m
a
ke type_to_str() return a sna
m
e()
b
uf
f
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modif
i
cation_hooks:
s
et a variable as modified
whe
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user_data2:
tag it if a func
t
ion s
e
ts parame
t
ers to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
s
tac
k
: cleanup a function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
deref_check: ignore ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan C
a
rpenter
type:
m
a
ke sval_type_max()
defaul
t
to "long
long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
an Carpenter
ty
p
e: don't re
t
u
r
n S
Y
M_NODE type
s
fr
o
m
g
et_real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
r
penter
side_ef
f
e
cts:
t
he iterate
_
all_kinds() ma
c
ro has sid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
Ca
r
penter
unre
a
chab
l
e: don't
c
ompl
a
in
a
b
o
ut
i
terate_
a
ll_kinds
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carp
e
n
t
er
f
l
o
w
: fix
"
f
o
o +
=
!bar;" assig
n
m
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpe
n
ter
lib: handle -funsigned-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpen
t
er
kernel
.
ignore_s
i
de_eff
e
cts: add some m
a
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
a
r
p
e
nter
i
n
dent
i
ng:
a
llow
"break; cas
e
XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpent
e
r
u
se
r
_data2:
m
a
rk sscanf
(
)
output a
s
use
r
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math, rl: fix handing division in
v
olving negati
v
e
n
umb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an
C
arpenter
sval: fix
s
v
al_binop_
o
verflows(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpen
t
er
precedence: compla
i
n
a
bo
u
t "foo << bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpente
r
flow:
h
andle
struct i
n
itialization bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Car
p
enter
e
st
a
te: add a
NULL check in estat
e
s_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
penter
param_used: store whe
n
a parameter is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
nte
r
extr
a
: ignore more
__in
_
fake_assi
g
n da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Car
p
enter
comparison: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
pe
n
te
r
t
y
p
e
:
a
dd an expr_signed()
f
unc
t
ion that matche
s
expr
_
unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpent
e
r
smdb
.
py: add functions to show fu
n
ctions implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
extr
a
: handle tem
p
or
a
ry shorthand pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpent
e
r
d
ereferenc
e
s_p
a
r
a
m: look for poi
n
ter
s
used as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpent
e
r
c
h
eck_in
d
enting: warn about mi
s
s
i
n
g cu
r
ly br
a
c
e
s and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpe
n
te
r
p
a
ram_clear
e
d
:
a
dd a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arpenter
val
i
dation: correc
t
some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
build
:
allow use of P
K
G_C
O
NFIG to o
v
erride pkg-con
f
i
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
d
b
:
b
uil
d
in
d
exes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpente
r
sli
s
t
:
fix compile
b
r
eakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
er
k
ernel_printf
:
silence some fals
e
pos
i
t
ives u
s
ing smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strings: record which strings are bein
g
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
u
ser_data2: turn on skb->
d
ata
t
agging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carp
e
n
ter
db:
rename FILTER_VALUE, L
I
MIT
E
D_VAL
U
E,
a
nd AD
D
ED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
ker
n
el_p
r
intf:
s
i
l
ence some
"st
r
u
ct sockaddr " f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpenter
type:
a
dd unions
t
o type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Da
n
Carpenter
type_value: speed up load
i
ng the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
an
Carpen
t
er
*new* return
_
cast:
c
omplain abou
t
return
-
E
I
N
VAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
f
ormat_string: delete th
i
s because check_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_ho
o
ks
:
add some debug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpe
n
ter
extra: cleanup db_
p
aram_add_set(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
t
e
r
extra: separat
e
P
ARAM_LIM
I
T
and P
A
RAM
_
FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
f
u
nction_h
o
o
k
s
:
don't
take a shortcut for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next