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
extra: cleanup: shuffle code around.
2012-01-10
Da
n
C
ar
p
e
n
ter
e
xtra: cleanup:
s
huffle code around
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extra: don't remove casts, those are important
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpe
n
ter
de
b
ug: fi
x
some small memory l
e
aks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Ca
r
p
e
n
t
er
l
ocking:
r
e
m
ove
s
o
me
false positive-
y
functions without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpenter
locking: add som
e
more lock name v
a
riations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
db: caller
info needs to reco
r
d t
h
e
-
1 paramet
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
math:
f
ix typo in comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carp
e
n
ter
*
n
e
w
*
bo
g
us_irqres
t
ore: don't rest
o
re
irq st
a
te befor
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
an Ca
r
penter
*new* check_wait_for_common: make su
r
e the r
e
t
urn is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
type: add e
x
pr_un
s
igned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
an Carpente
r
db: pass &foo type par
a
meter infor
m
a
t
i
on to called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Ca
r
pe
n
ter
math: do mat
h
for
get_im
p
lied_m
i
n
/max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
helper:
w
hen dis
p
laying sizeof(
)
i
nformation
u
se byt
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
an Carpenter
capped:
track capped varia
b
les across functio
n
boun
d
aries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpente
r
debug:
add __sm
a
tch_implie
d
_min/ma
x
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpenter
math: white space changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carp
e
nter
db: sa
v
e fu
n
ction poi
n
ters
saved in arrays of
str
u
c
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db/funct
i
on_
p
tr:
clear
the c
o
rrect t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Ca
r
penter
d
b: remove untrusted
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan
C
a
r
penter
e
x
tra: uno
p
s don't normally ch
a
n
g
e the
value of
a
var
i
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
t
i
ny white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Car
p
e
n
ter
uncapp
e
d_allo
c
:
d
elete this che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpent
e
r
h
elper:
remove bogus parens from
g
et_v
a
r
iable_
f
rom_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
D
an Carpenter
u
pdate sma
t
c
h
_
data for 3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allo
w
check
_
debug
.
h t
o
b
e inc
l
uded more than once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Da
n
C
arpenter
core: add --f
i
le
-
o
utput
v
a
r
iable for ma
k
e -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Da
n
Carpenter
s
match_
e
xtra
:
clear out
s
truct members i
f
a the pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan
C
arpenter
e
xtr
a
: fix
crashing
b
ug from
last comm
i
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
Carpenter
extra: exp
r
essions are
e
quivalent even i
f
they are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
an
C
arpe
n
t
e
r
u
s
e
r
_d
a
ta: use is_cappe
d
() func
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n
Carpenter
u
ser_da
t
a: h
a
ndle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Ca
r
penter
*new* smatc
h
_ca
p
p
ed
:
i
ntr
o
duce i
s
_
c
apped
(
) funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
C
arpent
e
r
*new
*
check_user_dat
a
: record all t
h
e user data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
penter
buf_size: t
h
e
r
e was a
m
ista
k
e i
n
h
a
n
dling calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
C
a
r
p
enter
bu
f
_size: recor
d
the size of stru
c
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpenter
e
xtra: cleanup: u
s
e
m
y_id in
s
t
ead of
SMATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpenter
db: wro
n
g par
a
meter number in struct m
e
mber callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
Carpenter
extra: d
o
n't print an extra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpent
e
r
db: limit the number of function pointer calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpe
n
te
r
d
b
, extra
:
int
r
oduce a
d
d_member_
i
nfo_callba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, db: record a
d
ummy o
u
tp
u
t
f
or eve
r
y function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db: use option_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan C
a
rp
e
nter
extra, db:
m
ove
s
ome
d
b fun
c
tion
s
from smatch_
e
xtra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
buf_size:
handle
function poin
t
e
rs as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
db: fol
l
o
w
calls to fu
n
ctions pointers as
w
e
l
l as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: set position fo
r
global variabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
penter
s
i
gned:
allow che
c
k
s
like: if (fo
o
< 0 || foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpenter
overfl
o
w: get rid
o
f "
b
uffe
r
overflow call
i
n
g %s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Car
p
e
nter
get rid of --prin
t
_returns o
p
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan C
a
rpenter
ext
r
a
,
db: w
e
have to r
e
c
o
rd every function call
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Ca
r
pe
n
ter
r
a
nges: i
n
valid rang
e
s default to t
h
e
wh
o
le ra
n
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
an
C
a
r
pe
n
ter
signe
d
:
d
on't warn about unsi
g
ned comparisons
t
o m
a
cros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpe
n
ter
e
x
tra, db: record the
struct
m
ember values
i
n the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
C
arpenter
e
xtra:
f
ix parsing of values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_untrusted: follow untr
u
ste
d
data d
o
w
n the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
extra: don't print if th
e
min-max a
s
the value passe
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
ran
g
es: int
r
o
duce is_whole_ran
g
e_rl() and fix is_
w
hole_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
db: use the
functio
n
_id correc
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
fill_db_caller_info: calculate
f
u
n
c
t
ion
_
id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
ter
d
e
bug:
a
dd a __smatch_possible(
"
v
a
riable
"
)
functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_allo
c
: use
_c
o
mplex(
)
v
e
rsion of get_variable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpen
t
er
e
x
tra: d
b
: put single quotes
around the fu
n
c
t
i
on n
a
me
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
e
r
*
n
ew* sma
t
ch
_
s
cr
i
p
t
s/follow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpen
t
e
r
hooks: r
e
move some commented out
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carp
e
n
t
er
sql: snprintf() nul
te
r
minates
i
t
s strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpen
t
er
db: move buf
_
s
i
z
e to the new add_defi
n
iti
o
n_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: introduce add_definition_db_
c
allback(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: store the values o
f
paramete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
r
p
enter
db: make data
b
a
se
c
ode usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
an Carp
e
nter
*new* min_
t
() casting that truncates the va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
D
an Carpenter
*new
*
rosenberg: check for
i
nformatio
n
leaks fro
m
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
flow: tweak
the ->pos
s
etting for fake
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n
Carpe
n
ter
flow
:
whitespace
c
hanges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpente
r
flow: pa
s
s con
d
ition assignment
s
to cli
e
nts
w
ith ASSIGNMENT
_
HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpenter
n
o
_
effect: a
d
d
s
o
m
e more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpente
r
der
e
f_check: check_deref: print both line num
b
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan
Carpent
e
r
core
:
s
e
t p
o
si
t
i
o
n ear
l
ier in sma
t
c
h_f
l
ow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
K
a
rel
Z
ak
sm
a
t
ch:
add --da
t
a=<dir
>
option
commit
|
commitdiff
|
tree
2011-09-12
D
an
Carpenter
slist: preserve th
e
->line value corr
e
ctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an
Carp
e
nter
overflow: pr
i
nt more h
e
l
pful
i
nfo when the
data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an Carpe
n
ter
g
en_array_bounds: f
i
lt
e
r out
bogus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
C
arpenter
buf_si
z
e:
silence a gcc
f
alse positi
v
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
use PTR_INT() and INT_PTR()
t
o
si
l
ence cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
a
r
pente
r
slist: make alloc
_
sm
_
state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Carpente
r
slist: remove so
m
e dead
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: clong
_
s
m() should preserve the
->line
v
alue
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n
Carpen
t
er
update
smatch_dat
a
/
f
o
r l
i
nux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
D
a
n
Carpenter
*new* bogus_loops: warn on b
o
g
us for loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
D
a
n Carpenter
extra
:
u
se get_
i
mplied_value()
i
nste
a
d o
f
get_
v
al
u
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpente
r
imp
l
ied: handle assig
n
ments insid
e
conditions
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overflo
w
: check s
p
rintf(
)
and snpr
i
nt
f
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpente
r
sm
a
tch_flow: fix
co
m
pi
l
e er
r
or caused by ups
t
r
eam changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio Pettenò
Fix build wi
t
h GCC
4
.
6
s
eries
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Ca
r
penter
o
verflow: cut down on false p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
rpenter
sma
t
ch_data: u
p
dat
e
for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
C
arpente
r
g
e
n_no_
r
eturn_funcs: alw
a
ys keep
the d
e
f
aul
t
no r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpent
e
r
In a
c
ouple place the
o
r
i
gin
a
l checked f
o
r
--sp
a
mmy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan C
a
rpe
n
ter
f
l
ow: hand
l
e kn
o
w
n
switch state
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*n
e
w* return_ne
g
ative_va
r
: returning positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpen
t
e
r
*n
e
w* mems
e
t: ch
e
c
k
f
o
r memset
(
x, y, 0
)
;
typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next