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
debug: add __smatch_implied_min/max()
2011-12-08
Dan Carpenter
debug: add _
_
s
m
atc
h
_i
m
plied_mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carp
e
nte
r
math
:
white space changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpenter
db: save func
t
ion pointers saved i
n
arrays
of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpente
r
db/function
_
ptr: clear the cor
r
ect
ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan
C
arpenter
db:
rem
o
v
e
u
ntrusted table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpent
e
r
extra: unops do
n
't normall
y
change the value o
f
a variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
rpenter
tiny
white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
u
n
capped_alloc: delete this c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan
Carpenter
helpe
r
:
r
e
m
ove b
o
gu
s
p
arens from get_
v
ar
i
a
ble_from_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan
C
arpenter
update
smatch_data f
o
r 3
.
2
-
rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carp
e
nter
Allow
check_deb
u
g
.
h to b
e
include
d
m
o
re
t
han once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carp
e
n
ter
c
o
re
:
ad
d
--fi
l
e-output
v
ariable f
o
r mak
e
-j
8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch_extra: clear out struct members if a the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
D
an Car
p
enter
extra
:
fix cras
h
in
g
bug from last
c
o
mmit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Ca
r
penter
extra: expressio
n
s are
equivale
n
t even
if the
y
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
enter
user_d
a
ta:
u
se is_capped() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpen
t
er
user_data: handle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
an Carpent
e
r
*
n
ew* sm
a
tch_capped
:
i
ntrod
u
ce
i
s_capped() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
C
ar
p
enter
*new* check_us
e
r_dat
a
: re
c
ord a
l
l the user data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_
s
ize: there was a mista
k
e
in handlin
g
calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Car
p
enter
b
u
f_size: record
the size of struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
e
xtra: clean
u
p
:
use my_id
inste
a
d of SMATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: wrong parame
t
er
n
u
mber in stru
c
t membe
r
callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
ente
r
extra: do
n
't print
a
n
extra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arpenter
db: l
i
mit t
h
e nu
m
be
r
of function
p
ointer calls we
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpen
t
er
d
b, extra: introdu
c
e
a
dd_m
e
mber_in
f
o
_
ca
l
lback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, db: record a dummy output for every function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db: use option_n
o
_
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Ca
r
penter
extra, db:
m
ove s
o
me db functions from
s
match_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
b
uf_
s
ize: h
a
ndle function pointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
db: follow
c
a
ll
s
t
o
funct
i
ons poi
n
te
r
s
as w
e
ll as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: s
e
t
p
osit
i
on for global var
i
a
bles
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpen
t
er
signed: allow
chec
k
s like
:
if (foo < 0 || foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpen
t
er
overflow: get rid of "buffer ove
r
flow ca
l
ling %s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an Carpenter
get
r
id of --pr
i
nt_re
t
ur
n
s optio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
extra,
d
b: we have to record
e
v
ery
f
unction
c
all in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Ca
r
penter
r
a
nges: invalid r
a
n
ges default to the whol
e
range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
signed:
d
on't warn ab
o
ut u
n
signed
c
omparisons to macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan C
a
rpente
r
extra, db: r
e
cor
d
the
struct member
valu
e
s i
n
the
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
Carpent
e
r
ext
r
a: fix par
s
ing of values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_untru
s
ted: follo
w
u
ntrusted data down the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carp
e
n
t
er
e
x
tra
:
don't
pri
n
t if the min-max
a
s the value
p
a
s
s
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ranges: introdu
c
e
i
s
_
whole_
r
ang
e
_
rl() and
f
ix is_who
l
e_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
C
arpente
r
db:
u
se t
h
e
function_id
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
fill_db_
c
aller_info:
c
alcu
l
ate function_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arpenter
deb
u
g: add
a
__
s
m
atch_
p
ossible(
"
variable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
uncapped_alloc
:
use
_
complex(
)
ver
s
i
on of g
e
t_
v
ari
a
ble_
f
ro
m
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
e
x
tra: db
:
put single quo
t
e
s arou
n
d the
f
unction name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
e
nter
*new* smatch_s
c
r
i
p
t
s/foll
o
w_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Car
p
e
n
ter
hoo
k
s: remove so
m
e
commented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
sql
:
s
nprintf()
nul ter
m
inates its str
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
te
r
db: move buf_
s
ize to
t
he new add_defi
n
ition_db_
c
al
l
bac
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
db:
in
t
roduce a
d
d_de
f
in
i
t
ion_db_ca
l
l
b
ack
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: store the values of pa
r
ameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpe
n
t
e
r
db: make database
c
ode usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan
C
ar
p
e
n
ter
*
n
e
w
*
min
_
t() casting
t
hat truncates
the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Ca
r
penter
*
n
e
w* r
o
senberg: ch
e
ck for
i
nformation
leaks
fr
o
m
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flo
w
: tweak th
e
->pos setting for fak
e
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow
:
whit
e
spa
c
e changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
penter
flow
:
p
ass condition a
s
si
g
nments t
o
client
s
wi
t
h ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carp
e
nte
r
no_effec
t
: add some mor
e
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan
Carpenter
deref_ch
e
ck: c
h
eck_deref
:
print
b
o
t
h lin
e
numb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
D
a
n Carpenter
core: set position e
a
rlier in
s
match_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Kare
l
Za
k
sm
a
t
ch:
a
dd --da
t
a=<
d
i
r
> o
p
ti
o
n
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
slis
t
:
prese
r
ve the ->l
i
ne
value
correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an Carpenter
overflow: print mor
e
helpful info when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Car
p
enter
gen_array_b
o
unds: filter out
bogus
li
n
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
Carp
e
nter
buf_size: sil
e
nce a gcc f
a
l
s
e
positi
v
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpe
n
ter
use PTR_I
N
T(
)
a
n
d
INT_PTR() to
silence c
a
st warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
s
l
ist: ma
k
e alloc_sm_
s
t
ate() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carp
e
nte
r
slist: remove
s
ome
dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carp
e
nter
core: clong_sm() shou
l
d
p
r
e
serve
the -
>
l
i
n
e value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
update smatch_data/ f
o
r linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
D
an Carpente
r
*new* bogus
_
l
o
ops: warn o
n
bogus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
D
a
n
Ca
r
penter
e
xtra: use ge
t
_implied_
v
alue() instead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpen
t
er
implied: h
a
ndle assignment
s
inside conditions bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n Carpe
n
ter
overflow:
c
he
c
k sprintf()
and snprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n
Carpenter
smatch_
f
low: fix compile error caused b
y
u
ps
t
r
eam chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego
E
l
i
o
Pettenò
Fix
b
uild with GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Da
n
Carpenter
o
v
erfl
o
w: cut d
o
wn on false p
o
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpen
t
er
smatch_d
a
ta: upda
t
e for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
C
a
rpenter
gen
_
no_re
t
u
r
n_funcs:
always ke
e
p the default
no
r
e
t
u
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
Carpente
r
I
n
a cou
p
l
e
pla
c
e
the o
r
igi
n
al
checked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow: h
a
ndl
e
k
n
ow
n
switch s
t
atements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carpenter
*ne
w
* return_nega
t
iv
e
_var: returnin
g
posi
t
iv
e
values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpen
t
er
*new* memset:
c
h
e
c
k for m
e
m
s
et
(
x, y,
0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpenter
S
u
pport __b
u
iltin_unreachab
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tetsuo Handa
Fix build
e
rror with older package
.
commit
|
commitdiff
|
tree
2011-05-23
Ra
n
dy
M
acLeod
F
i
x g
r
ammatical e
r
rors in
README-smatch
commit
|
commitdiff
|
tree
2011-01-26
Dan
C
arpenter
overflow:
fo
r
mat
_
strings
:
put s
o
me ver
b
ose mes
s
ages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan C
a
rpe
n
t
er
bu
f
_
size: put some g
u
es
s
es beh
i
nd --spa
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
Car
p
enter
ext
r
a: handle count d
o
w
n
for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpe
n
ter
a
d
d RAW_ASSIGNMEN
T
_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Car
p
enter
Merge git://
g
i
t
.
k
e
r
nel
.
org/pub/scm/
d
evel
/
spar
s
e/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan C
a
rpe
n
t
e
r
signed: don't compla
i
n
a
b
o
ut putt
i
ng 0xff
i
nto a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
D
a
n
C
a
rpenter
l
o
cking:
add _raw_sp
i
n_lock_
n
este
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
D
an Carpen
t
er
in
t
roduce
SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new* check_se
l
ect: return ret < 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* input_free_devi
c
e: don't call
t
his a
f
ter
i
nput_unre
g
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* c
h
eck_cont
a
i
ner_
o
f: container_of() doesn'
t
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next