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
db: pass &foo type parameter information to called functions
2011-12-08
D
a
n
C
arpenter
d
b: pass &f
o
o typ
e
param
e
ter
information
t
o cal
l
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
ma
t
h
: do mat
h
for get_implie
d
_
mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carp
e
nter
hel
p
er: whe
n
displaying sizeof() informati
o
n use byte
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Carpenter
capped: track capped vari
a
bles across fun
c
tion b
o
und
a
ries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
debu
g
: a
d
d __smatc
h
_im
p
lied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan
Carpente
r
math
:
white s
p
ace changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
a
n Carpenter
db: save
f
un
c
tion pointers s
a
ved
in arrays of str
u
ct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db/funct
i
on_ptr: clear
t
h
e
corr
e
ct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
D
a
n
Carpenter
db:
r
emove untrusted table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carp
e
nter
e
x
tra: unops don
'
t
normally chang
e
t
h
e value of a va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
tiny white
space
f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Da
n
C
arpenter
uncapped_alloc:
delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
helper: rem
o
ve b
o
g
u
s parens from get_var
i
able_from
_
expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpenter
update
smat
c
h_da
t
a for 3
.
2
-
r
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan
Carpenter
Allow check_debug
.
h
to
be
inclu
d
ed
m
ore th
a
n
once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan
C
a
rpenter
core: add --fi
l
e-ou
t
put variable f
o
r make -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch_extra
:
clear out struct membe
r
s if a the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
extr
a
: fix crashi
n
g
b
ug from l
a
st commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra: expressions are equ
i
valent
e
ven if they
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
a
r
pe
n
t
e
r
user_data: use is
_
capped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
u
ser_
d
ata: handl
e
b
inops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
an C
a
rpenter
*new* smatch_ca
p
ped: introduce is_capped()
f
unct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
C
a
rpenter
*new* check_user_
d
ata: record
a
l
l
the
user data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
n
t
er
buf_size: the
r
e was a m
i
stake in handling calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
buf_size: record the si
z
e of
struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra
:
cleanup:
u
se my_id instead
o
f SMATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
d
b: wron
g
pa
r
ameter number in struct member callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: do
n
'
t print an ext
r
a $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arp
e
nter
db:
lim
i
t
t
he number of functi
o
n pointer
calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n C
a
rpenter
db, extra: introduce add_member_info_
c
allback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpenter
extra,
d
b: record a dummy
output
f
or ev
e
ry fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nte
r
db: u
s
e option_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
an
C
arpenter
extra
,
db:
move
some db functions fr
o
m smatch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
buf_size: ha
n
dle f
u
nction pointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n Carpente
r
db: follow calls to functions pointers as w
e
ll as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpen
t
e
r
flow: set posit
i
on f
o
r
g
l
obal
varia
b
l
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an Carp
e
nt
e
r
s
ign
e
d:
allow checks li
k
e: if (foo <
0 || foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
o
v
er
f
lo
w
:
get rid o
f
"bu
f
fer overflow calling
%
s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
get
rid of --prin
t
_
r
eturns optio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
an Carpente
r
e
x
t
ra,
d
b: w
e
have to record ev
e
r
y
f
u
nction call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan
C
arp
e
nter
ranges: invalid
r
a
n
g
e
s
default to the
w
h
ole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
Carpenter
signed
:
don't warn ab
o
ut unsigne
d
comparison
s
to m
a
cros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
Carpent
e
r
extra
,
d
b: record th
e
s
t
ruct me
m
b
er values in the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
C
a
r
p
e
n
ter
ext
r
a
:
fi
x
parsing of values
f
r
o
m db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Car
p
en
t
er
fill_db_untrusted: fol
l
ow untrusted data down the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpenter
ex
t
ra: d
o
n
'
t print
i
f the mi
n
-max a
s
the value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
ranges: intr
o
duce is
_
whole
_
range_r
l
() and fix
is_whole_ra
n
ge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
p
e
nter
db: use the function_i
d
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
ente
r
fi
l
l_db
_
calle
r
_
i
nfo: calculate function_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
de
b
ug
:
add
a
__smatch_possible("variable") funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
unc
a
pped_alloc: use
_comp
l
ex() v
e
rsion o
f
g
e
t_variabl
e
_
f
r
om_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpente
r
ex
t
ra: db: put
single quotes around the
function na
m
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*new* smatch_scripts/follow_p
a
ra
m
s
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
r
p
enter
h
o
o
ks: remove some
c
ommented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
sql: snprintf() nul
t
erminates
its string
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
db: move buf
_
si
z
e
to the new add_definiti
o
n_d
b
_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carpent
e
r
db
:
i
ntroduce add_definit
i
on_db_callback(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
db: s
t
ore the values of
p
a
rameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
C
arpenter
d
b:
make database co
d
e u
s
a
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpe
n
t
er
*new* min_t()
cas
t
i
n
g
that truncates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpe
n
ter
*new*
r
osenberg:
check fo
r
informati
o
n leaks from th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
flow: t
w
eak th
e
->pos se
t
tin
g
for f
a
ke
a
ssig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
penter
flow
:
whitespace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpent
e
r
fl
o
w:
p
a
ss condit
i
o
n
assignments
t
o clie
n
ts wit
h
ASS
I
GNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
penter
no_effect: add some
m
ore tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
deref_check: c
h
eck_deref: print both line number
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core: s
e
t position earlier in sm
a
tch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Karel Zak
smatch: add --data=
<
dir> option
commit
|
commitdiff
|
tree
2011-09-12
Dan Carp
e
nter
slist: preserve the
-
>lin
e
v
alue
correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an
Carpenter
overflow: print more help
f
ul info whe
n
the da
t
a file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
g
en_array_
b
o
unds:
filter out bogu
s
lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
C
a
r
penter
buf_size: silence a g
c
c fa
l
se positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan C
a
r
p
e
n
t
er
use PTR
_
INT() and
I
NT_PTR() t
o
sile
n
ce cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Carpente
r
slist
:
mak
e
alloc_sm_state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n Carpente
r
slist: remove
s
om
e
dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Ca
r
penter
core:
clong_sm() sho
u
ld
p
rese
r
ve the ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
an Carp
e
nt
e
r
updat
e
smatch_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpenter
*
new* bogus
_
loops:
w
arn on bogus for
l
o
op
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Ca
r
penter
e
x
tra: use ge
t
_implie
d
_value() instead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpen
t
er
implied: hand
l
e
a
ssig
n
m
e
nts insid
e
conditio
n
s bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an Ca
r
pe
n
ter
o
v
erflow:
check sp
r
intf
(
) and
s
nprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n Carpenter
smatch_flow:
f
i
x compile error caused by up
s
trea
m
cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Eli
o
Pett
e
nò
Fix
b
u
il
d
with GCC 4
.
6
se
r
ies
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Ca
r
pen
t
er
overflow: c
u
t
down o
n
false
p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n Carp
e
nter
smatch_data: upd
a
te for
3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpen
t
e
r
gen_n
o
_
return_funcs: always keep t
h
e default no retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
r
penter
In a c
o
uple place the ori
g
inal ch
e
cked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carpenter
f
low:
h
andle k
n
o
wn switc
h
statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
*new* r
e
turn_negative_var: returning
positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new* me
m
set: check
f
or memset(x, y, 0);
typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Da
n
Carpenter
Support __built
i
n
_unreach
a
ble()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tetsuo Handa
Fix build error with older package
.
commit
|
commitdiff
|
tree
2011-05-23
Rand
y
MacLeod
F
i
x
grammatical err
o
rs in READM
E
-smatch
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
overflow: for
m
at_strings: pu
t
some
verbos
e
messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Ca
r
penter
b
u
f_si
z
e: p
u
t some gue
s
ses behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
an
Carpenter
extra: handle count
d
own for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
C
a
r
pent
e
r
ad
d
R
A
W_ASS
I
GNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpe
n
ter
Me
r
ge git://git
.
kernel
.
o
r
g/pub/scm/devel/sparse/
c
hr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
D
a
n
C
a
r
pen
t
e
r
si
g
ned
:
d
on't
c
ompla
i
n about
putt
i
ng 0xff into a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add _raw_spin_
l
ock_nest
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next