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
signed: allow checks like: if (foo < 0 || foo > x) { for unsigned "foo"
2011-10-10
Dan Carpenter
s
i
gned: allow checks
like:
if
(
f
o
o
<
0 ||
f
oo
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
overfl
o
w
: get rid
o
f
"buffer
o
verflow ca
l
ling %s
.
pa
r
am
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
g
e
t
ri
d
of --print_
r
e
t
urns o
p
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Car
p
enter
e
xtra,
d
b: we ha
v
e
to record eve
r
y functio
n
ca
l
l
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
rang
e
s: inval
i
d range
s
de
f
ault
t
o
the whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
signed: don't warn about unsigned comparisons t
o
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carpenter
extra, db:
record the s
t
ruct member values in the dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carp
e
nter
extra: fix pars
i
ng of v
a
lues
f
r
om
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fi
l
l_db_untru
s
t
e
d: fol
l
ow untr
u
ste
d
d
a
ta down the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
enter
extra: don't p
r
int if the min-max as the value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ranges: introduce is_whole_rang
e
_rl() and fix is_whol
e
_
r
ange
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Carpen
t
er
db: use the function_id correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db
_
caller_info
:
c
alculate fu
n
c
t
ion_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rpenter
d
e
bug: ad
d
a __smatc
h
_possibl
e
("varia
b
le")
f
uncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
un
c
a
p
p
ed_al
l
oc:
use
_
c
omplex() v
e
rsion
o
f
get_variable_fro
m
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
extra: d
b
:
put singl
e
quotes around
the function name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
C
a
rpent
e
r
*new
*
smatc
h
_scripts/follow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
ho
o
ks: remove some commented
o
ut code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an
Carpe
n
ter
s
q
l
:
snprintf() n
u
l
termina
t
es it
s
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
d
b
:
move buf
_
size to the new add_defini
t
i
o
n_db_c
a
llba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
d
b
:
int
r
oduce add_defi
n
ition_db_
c
allback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
db: store the values
o
f p
a
rameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
db: make database
code u
s
a
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*new* min
_
t
(
) casting that truncates the valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*new* rosenb
e
r
g: check for informat
i
on l
e
aks fr
o
m t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
e
n
ter
flow
:
twe
a
k the ->pos set
t
ing fo
r
fake a
s
signment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpenter
flow: whitespace
c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: pass condition assignments t
o
cli
e
nts with ASSIGNM
E
NT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carpent
e
r
n
o_
e
ffect: add
s
ome more test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
d
e
ref_c
h
eck: check_deref: pri
n
t bo
t
h line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
c
o
re: set pos
i
t
ion
e
arlier in smatch_fl
o
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
slist: preserve
t
he ->line val
u
e
corr
e
ct
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan
C
arpenter
overflo
w
: print more helpful
i
nf
o
when the
d
ata f
i
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
g
e
n_array_
b
ounds: filter
o
ut bogus l
i
nes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan C
a
rp
e
nter
b
uf
_
size
:
silence a gcc false positiv
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
u
s
e P
T
R_INT() and INT
_
PTR() to s
i
lence cast warn
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n
C
arpenter
slist:
m
a
ke
alloc_sm_state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpe
n
ter
slist
:
remove
some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: clong_sm() should
p
reserve the ->line
va
l
ue
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
u
p
da
t
e
s
match_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan
Ca
r
penter
*new*
bogus
_
lo
o
ps: warn
o
n bogus
for loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
D
an Carpente
r
extra: use ge
t
_implied_va
l
ue() instead
of g
e
t_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
implie
d
:
h
andle assignments inside conditions b
e
tte
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan
C
arpenter
overfl
o
w
: check s
p
rintf()
a
nd snprintf
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
ente
r
s
match_f
l
ow: fix
compile error
c
a
used by upstream
changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
ente
r
o
verflow: cut dow
n
on fals
e
posit
i
v
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carp
e
nter
smatch_da
t
a:
u
pdate fo
r
3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpent
e
r
g
en_no_re
t
urn_funcs:
always ke
e
p the
d
efau
l
t no
r
e
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
rpenter
In a couple
p
la
c
e the original checked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n
C
a
rpe
n
t
er
flow
:
hand
l
e known swi
t
c
h
s
tatements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpe
n
ter
*new* retu
r
n_neg
a
tive_var: r
e
turning p
o
sitive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carpente
r
*new*
m
ems
e
t:
c
heck
f
o
r
me
m
set
(
x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Car
p
ent
e
r
Support __builtin_
u
nreachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpe
n
ter
ov
e
rfl
o
w: format_strings: put some
v
erb
o
s
e m
e
ssages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
D
a
n Carpenter
buf_si
z
e: put
s
o
me gues
s
es behind -
-
spa
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra: ha
n
dle c
o
u
n
t dow
n
for
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
C
arpenter
ad
d
RAW_ASS
I
GNMENT_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
Merge gi
t
://
g
it
.
kernel
.
or
g
/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carp
e
n
t
er
signed: don
'
t complain about putti
n
g 0x
f
f i
n
to
a
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
l
ocking: add _raw_spin_
l
ock_nested(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
in
t
roduce SELECT
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpen
t
er
*new* chec
k
_s
e
lect:
return ret <
0
?
: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Car
p
enter
*new
*
input_free_device: d
o
n
't ca
l
l this after
i
nput_unr
e
gis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpent
e
r
*new* check
_
container_of: cont
a
iner_
o
f() doe
s
n't re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
n
ter
crea
t
e
check_list_loc
a
l
.
h
which i
s
for untr
a
cked l
o
cal
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpenter
lock
i
ng: _at
o
m
i
c_dec_a
n
d_lock() is
a
spinl
o
ck()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
file
s
: cleanup
ope
n
_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpe
n
ter
add
defa
u
lt no_r
e
turn_funcs if
n
o
p
roject is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
update
smatch_
d
a
t
a
/
for
2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
D
an Carpenter
*new*
c
h
e
c
k_access_
o
k_math: potential integer overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
D
an Car
p
en
t
er
hooks: intro
d
uce ASM_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan C
a
rpente
r
tempora
r
y hac
k
to so
l
ve cra
s
hing
bug in fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Da
n
Carp
e
nter
loc
k
i
ng: add __raw
_
spin_unlock_irq()
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Car
p
ent
e
r
err
_
ptr_deref: fix assi
g
nments inside conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
locking: ad
d
a
rch_lo
c
al_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpenter
check_type: warn about kf
r
ee
(
) vs free_n
e
tdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Da
n
C
arpenter
type: improve handli
n
g of array type
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Car
p
enter
extra: move
some
s
t
uff
into smatch_d
i
nfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Carpenter
buf_size: oops
.
.
.
re
m
ove debu
g
output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
whitespace_only: don't error out handling
.
h fi
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*
n
e
w*
g
et_u
s
er_overflow
:
check
for integer ove
r
flows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
smatch_db
:
d
o
n
'
t co
m
plain if the db doesn't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpent
e
r
buf_size: do cross function
ana
l
ysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*
n
ew*
uncapped_allo
c
: print places
where
t
he user decide
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new*
smatch_db:
use and s
q
l
i
te databa
s
e for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpent
e
r
param_mapper
:
update copyrig
h
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
D
an Carpenter
add
tes
t
-inspect
t
o
.
gitignore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
Carpent
e
r
smatch_script
s
/ge
n
_expects_e
r
r
_
p
tr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatch_data/kernel
.
array_bounds: a
r
ray boundary da
t
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carp
e
nte
r
expects_
e
rr_ptr: make
a
list of function
s
w
hich ac
c
ept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpent
e
r
unwin
d
:
a
dd
more unwind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
r
penter
u
pdate smatch_data/
for 2
.
6
.
36-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
ov
e
rf
l
ow:
fixup cross function o
v
e
r
flows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Da
n
Carp
e
nter
r
em
o
ve de
a
d no_
l
e16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n Carpenter
unwind: add mo
r
e unw
i
n
d
fun
c
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carp
e
n
t
er
r
e
m
o
ve check_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Upda
t
e
s
match_da
t
a to 2
.
6
.
36
-
rc2 [patc
h
1
of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
Carpen
t
er
k
ernel: container
_
of(
)
r
e
t
urn
s
a
no
n
-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpent
e
r
In
t
ro
d
uce ad
d
_macr
o
_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
fix out of memory han
d
l
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next