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
*new* logical_instead_of_bitwise: places that use && instead of &
2012-01-19
D
a
n Ca
r
pe
n
ter
*new* logical
_
inst
e
ad_of_bitwise:
p
laces that use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan
C
ar
p
ente
r
smatch*: ch
e
ckpatch
.
pl
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
D
an Ca
r
penter
err_pt
r
_deref
:
h
a
nd
l
e PTR
_
R
ET()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n Carpent
e
r
validation: r
e
move ou
t
of d
a
te sm_locking
5
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
core: hand
l
e foo
+=
bar ? 1 : 0
;
e
x
pressions di
f
fe
r
ently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
extra
:
d
on't discard ca
s
t
.
st
r
ip_expr()
=
>
strip_parens(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
arpenter
e
x
tra: cl
e
anu
p
:
shuf
f
le code ar
o
und
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carp
e
nter
extra: don't remove casts,
those
are important
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpente
r
d
ebug: fix some small memory le
a
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n Carpente
r
lo
c
ki
n
g:
r
emove some
f
alse positiv
e
-y functions without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
penter
locking: add some more l
o
c
k name variations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan
C
arpenter
db:
c
aller info n
e
eds to record
t
he
-
1 parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
D
an Carpe
n
t
e
r
math: fix typo in comm
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Da
n
C
arpente
r
*new* bogus_irqrestore: don'
t
restore
irq stat
e
before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carp
e
nter
*ne
w
* che
c
k_wait
_
for_comm
o
n
: make sure the return is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n
C
arpenter
type: add expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpe
n
ter
db: pass &foo
t
ype paramet
e
r
information to c
a
ll
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Ca
r
pen
t
e
r
math
:
d
o math for get_implied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
helper: when display
i
n
g
s
i
ze
o
f() i
n
fo
r
m
ation use by
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Carpenter
c
apped: track capped variables
a
cross fu
n
c
tion boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpente
r
debu
g
: add __s
m
atch_implied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
D
a
n Carpenter
math: wh
i
te space changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Da
n
Carpen
t
e
r
db: sa
v
e
fu
n
ction pointers saved in arrays
of struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan C
a
rpente
r
db
/
function_ptr:
c
le
a
r the cor
r
ect table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db: remo
v
e untrusted table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpent
e
r
e
xt
r
a: u
n
ops d
o
n't
n
ormall
y
change
the
value of a v
a
riable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
r
p
e
nter
tin
y
w
hite space fixe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Da
n
Carp
e
nter
uncapped_a
l
loc: delete t
h
i
s
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
helper: remo
v
e b
o
gus parens from get_va
r
iable_fr
o
m_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Da
n
Carpenter
u
pdate smatch_data for 3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allow ch
e
ck_
d
e
bug
.
h to be in
c
l
u
d
e
d
more than once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan C
a
rpenter
core: ad
d
--file-output variable for make -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carp
e
nter
smatc
h
_ex
t
ra
:
clear o
u
t struct members if a the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
extra: fix crashing bug from last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpe
n
ter
extra: ex
p
ression
s
are eq
u
ivalent even if they are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data: use is_ca
p
ped(
)
fu
n
ct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
Carpen
t
er
user_data: han
d
le binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
a
r
penter
*
n
e
w* smatch_capped: i
n
t
roduce
i
s_ca
p
ped(
)
functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
D
a
n Ca
r
p
e
n
ter
*new* c
h
eck_user_data:
record
all the user data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
Carpenter
buf_size: there was a mistak
e
in handling
c
alls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_
s
ize
:
record the size
of
s
truct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
ex
t
ra: cle
a
nup:
use my_i
d
instead of SMATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
d
b: wrong p
a
ram
e
t
e
r numb
e
r
i
n s
t
ruct me
m
be
r
callbac
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
e
n
ter
extra: do
n
't
p
r
i
nt a
n
extra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: limi
t
the number of function p
o
inter
calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpente
r
db, extra: introduce a
d
d_member_info_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpenter
extra, d
b
: record
a
dum
m
y output
f
or every fu
n
ctio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpenter
db:
u
se option_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n Car
p
enter
ext
r
a
,
db: move some db function
s
from smatch_ext
r
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan C
a
rpente
r
b
uf_size: ha
n
dle function pointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carp
e
n
ter
db: f
o
llo
w
calls to functio
n
s
p
ointers
as
w
ell
a
s
no
r
m
al
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: se
t
position for global variabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
s
igned:
a
llow checks like: if (foo < 0 || foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n
C
arpenter
overflow: get rid of "buffer
o
verflow calling %s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Ca
r
p
e
nter
get rid o
f
--print_retu
r
ns o
p
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
a
n Carpen
t
e
r
extra, db: we
h
ave to re
c
ord
e
v
ery function call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Da
n
Carpenter
ranges: inval
i
d
r
anges defaul
t
to
the
whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan C
a
rpent
e
r
signed: don't war
n
about
unsigned
comparis
o
ns to macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carp
e
nter
e
x
t
r
a, db:
r
ecord t
h
e struct mem
b
er value
s
in
t
he dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra: fix
p
a
r
s
ing
o
f valu
e
s from d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Carpen
t
er
fi
l
l_
d
b_untrust
e
d: f
o
llow untrusted data
d
own t
h
e c
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
enter
extr
a
: don't print if t
h
e min-max as the value passe
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpe
n
ter
ranges: i
n
troduce is_whole_
r
ange
_
rl()
and fix is_whole_r
a
nge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpenter
db: use the function_i
d
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
f
i
l
l_db_caller_info: calcula
t
e functio
n
_id co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debug: add a __smatch_possib
l
e
("
v
ariable") fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
uncapped_alloc: use _comple
x
() version
of get_variable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
extra: db:
put sing
l
e quo
t
es
a
round
t
he funct
i
on name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
*new* s
m
at
c
h_scripts/follow_par
a
ms
.
p
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
hooks: remov
e
som
e
c
o
mmente
d
out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
sql: snpri
n
tf
(
) nul terminate
s
its strin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
db: move buf_s
i
z
e
to
the new add_definition
_
db_cal
l
back(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
e
n
ter
db: introduc
e
add_
d
ef
i
nit
i
on_db_c
a
l
lback
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
db:
s
t
o
r
e the values
of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Car
p
en
t
er
db:
m
a
ke database code us
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpent
e
r
*
new*
m
in_t() castin
g
that
t
runcates the va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*n
e
w* r
o
s
e
nberg: check for i
n
forma
t
ion lea
k
s from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
a
r
penter
flow: twe
a
k the ->pos
setting for
fake a
s
signm
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rpenter
flow: whit
e
space chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
e
r
flow: pass
condition assignme
n
ts
t
o client
s
with A
S
S
IGNMENT_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effect: add some more
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan C
a
rpenter
d
e
ref_check: check_deref: print both l
i
ne
n
u
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Car
p
enter
core: set position earlier i
n
sm
a
tch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Car
p
enter
slist:
p
reser
v
e the
->line v
a
lue
c
orr
e
ctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Ca
r
pen
t
er
overflow: p
r
int
m
ore hel
p
f
u
l
info w
h
en the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen_array_bou
n
ds: filter ou
t
bogus
l
ines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Da
n
Carp
e
nter
buf_size: silence a
g
cc f
a
lse po
s
it
i
ve
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
use P
T
R_INT() and IN
T
_PTR() to silence
c
ast w
a
r
n
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
arpen
t
er
slist
:
m
a
ke all
o
c_sm_
s
t
ate() sta
t
ic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: remove some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
C
arpenter
c
ore: clong_sm() sho
u
ld prese
r
ve the ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n Carpe
n
t
er
u
p
d
a
t
e
smatch_da
t
a
/ for li
n
ux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpenter
*new* bogus_loops: warn o
n
bog
u
s
f
or loo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan C
a
rpenter
e
x
tra: use ge
t
_im
p
l
i
e
d_value(
)
instead of
g
et_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
impl
i
ed: handle assignmen
t
s inside conditi
o
ns bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an Carpenter
overflow: c
h
eck sprintf
(
) and
snprintf(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan
C
a
rpente
r
smatc
h
_
f
l
o
w
:
fix co
m
pile error caused by upstream chan
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
ent
e
r
overflo
w
: cut
down
o
n
false
posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
an
Ca
r
penter
smatch_
d
a
t
a: update for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
gen
_
no_retur
n
_funcs: always
keep the d
e
fault no r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next