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
absolute: track the absolute limits that variables can be
2012-10-12
Dan
Carpenter
absolute:
t
rack the absol
u
te limits that va
r
iabl
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
an Carpen
t
er
ma
t
h: improve how get
_
a
b
solu
t
e_m
i
n/max() wo
r
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: improve how known logical operations are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
type: sim
p
lify get_bin
o
p_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
D
an Carpenter
type:
i
mpro
v
e handling of type promotion o
n
b
i
nary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan C
a
rpenter
extra: delete some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges: parse th
e
ranges lis
t
c
o
rre
c
tly i
f
it on
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
an Carpen
t
er
math: known conditio
n
s
are equal to
on
e
or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpenter
math:
handle select
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper: improve
p
r
inted
m
essages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Carpenter
extra: ha
n
dle asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
dereferences_pa
r
am
:
han
d
le strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
a
n Carpenter
ranges: kill the "Error invalid range message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
assigned_
e
xpr: ignore
+
= a
s
sig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks
:
white
s
pace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan C
a
r
p
enter
function_hooks
:
use the
s
trip
p
e
d
fu
n
ction call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db
,
buf_size,
p
arse_c
a
l
l
_
m
ath: tra
c
k th
e
size of
r
etur
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
get_impl
i
e
d
_range_list: use
t
he ne
w
f
u
nc
t
ion
ho
o
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carp
e
nter
implied_valu
e
:
don't
g
et
c
o
nfused by
c
asts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db/return_
s
tates: fix re
t
urn values for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
Carpenter
function_h
o
oks: cl
e
a
n
up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
arpenter
function_h
o
oks: introduce get_impl
i
ed_ret
u
rn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
misc: wh
i
tespa
c
e
c
leanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_c
a
l
ler_inf
o
: add
s
o
m
e
comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan C
a
rpenter
db, function_ho
o
ks: pass
assig
n
ment
expression to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
buf_size
:
introduc
e
get_a
r
ray_size_by
t
es_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Hor
s
t H
.
von Brand
In
s
tall cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nt
e
r
cappe
d
: fix how
t
he min() ma
c
ro
i
s handl
e
d
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
an Ca
r
penter
buf_siz
e
: db: Use t
h
e --spammy option to fill
the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpe
n
ter
b
uf
_
size: merging two same size buf
f
ers give a s
a
me
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Car
p
enter
bu
f
_size: record
static
variables in the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
proc
_
create: fix a white
s
pace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpe
n
ter
bu
f
_size,
db: if a struct member size
i
s set
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Car
p
ente
r
chec
k
_kernel: fix
E
RR_PT
R
() f
a
l
se positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpe
n
ter
logical_inst
e
ad_of_bitwise
:
foo
=
(
1 << x
)
&& y;
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
D
an C
a
rpenter
l
o
cking:
_bh lock functions
a
re nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
extra: introduce filter_r
a
nge_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Ca
r
pen
t
er
kernel
:
handle IS_ERR() prope
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
d
b_info: remove unuse
d
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rpe
n
ter
e
x
tra,
funct
i
o
n
_
hoo
k
s, db: ch
a
n
ge cr
o
s
s
function analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
p
e
nter
d
b
:
remove
t
he return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smatch_data: update the data director to
t
he
l
a
test
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpente
r
db:
caller_info:
f
ix
m
ore
fall
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpent
e
r
d
b: t
y
pe_siz
e
:
silence a perl
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db:
c
aller_info: upd
a
te fixup_kernel
.
sh to
the
n
ew
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
extra: g
e
t_i
m
plied_range_list
(
) sh
o
uld return 0
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
user
_
data: use th
e
new return_states databa
s
e table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user
_
d
a
ta: syscalls are
a
source of user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
user_da
t
a: if "p
t
r" is
u
s
e
r data then "*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
user_data: add is
_
u
s
er_macro
(
) s
t
ub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
use
r
_data
:
skb->data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
extr
a
: mak
e
a function st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pent
e
r
db:
c
reate return_states tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db: add get_return_id() and retur
n
markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
i
m
prove e
r
ro
r
m
e
s
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carp
e
nter
db: caller_info c
h
anges: s
t
ore the ca
l
l
e
r, p
a
ra
m
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db: ad
d
return_values tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nter
err_ptr_d
e
re
f
:
r
emove duplicate c
o
n
f
l
i
c
ting co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpe
n
ter
function_
h
o
o
k
s: move registration to the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Moh
a
m
med Abdulla
h
Fix bug
i
n Makefile tha
t
ca
u
ses linking
to
f
a
il
commit
|
commitdiff
|
tree
2012-08-09
Dan C
a
rp
e
nter
deref_check: remove dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
misc white
space fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied: change debugging out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
C
arpenter
checks: ge
t
rid
of some delete_s
t
ate() ca
l
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
dere
f
_c
h
eck: fix a f
a
lse p
o
sitiv
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Chr
i
s
topher L
i
Fix
a
bug with variables named "x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carp
e
nter
sparse: com
m
e
n
t
out an inte
r
n
a
l error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpent
e
r
Merge git://git
.
kernel
.
org/pub/scm/devel/sp
a
rs
e
/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
Ca
r
penter
*new* assign_vs_
c
ompare:
if ((x = <constant>
)
) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
ranges
:
i
n
troduce
r
l_contigu
o
us
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpenter
deref_che
c
k: sil
e
nce some fa
l
se pos
i
tive on cros
s
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_i
m
plies: c
h
eck c
o
rrect variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
fill_db
_
return_implies: del
e
t
e
the
correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
D
an Carpenter
p
o
i
n
ter_math: check AL
I
GN() macro
ma
t
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n Ca
r
p
e
nter
h
e
lper: handle if (WAR
N
_
O
N(i
=
= ARRAY_S
I
ZE(
f
oo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
sm
a
t
ch_scr
i
p
ts: fix s
p
elling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neu
s
chäfer
sm
a
tch: fix
several typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ass
i
gned_exp
r
: move check_assi
g
ned_expr() t
o
smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpe
n
ter
macr
o
_side_effects:
o
nly e
n
able when --spammy is u
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpe
n
ter
i
gno
r
e
_side_
e
ffects: add some m
o
r
e
ma
c
ros that
h
ave
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf
_
size: ad
d
--spammy to valid
a
tion tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
overflo
w
:
r
e
m
ove s
t
rncpy
(
)
false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
Merge
branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: t
u
rn off buf
s
ize for
&addresses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpente
r
flow:
h
andl
e
the __noretu
r
n__ attrib
u
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
buf_size: r
e
mo
v
e
th
e
&*
a
nd [0] from
around th
e
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
KI Motohi
r
o
spar
s
e: Ad
d
'error' to i
g
no
r
ed att
r
ibut
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
K
O
S
AKI Motohiro
spar
s
e: Add '_
_
vector_s
i
ze
_
_' to ignored attr
i
bu
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
a
r
penter
s
m_
b
uf: don't return the maximum
store buffe
r
siz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpe
n
ter
b
u
f_size: retu
r
n
the s
i
ze of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
buf_size: add kmall
o
c
_array() and sock_kmal
l
oc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
buf_size: if
t
he member
s
ize is not k
n
own
th
e
n store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
Merge b
r
a
n
c
h
'buf_si
z
e' into d
e
vel
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
Merge git://g
i
t
.
k
e
r
nel
.
o
r
g
/pub/scm
/
de
v
el
/
sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
enter
buf_size:
first g
e
t the size in
bytes then con
v
ert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: remov
e
cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpen
t
er
bu
f
_s
i
ze: f
i
x
b
ytes_p
e
r_elem
e
nt
(
) for
strings and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
rpenter
buf_size: delet
e
s
o
me duplicat
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Ca
r
p
enter
b
uf_size: prefe
r
the declar
e
d a
r
ray size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: strcpy(
)
only s
e
ts t
h
e size
o
f the desti
n
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next