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
fill_db_untrusted: follow untrusted data down the call tree
2011-10-07
Dan
Carpenter
f
ill_db_untrus
t
ed:
f
ollow
u
n
t
rusted data
d
ow
n
t
h
e call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arpenter
extra:
d
on't print if the min-max as th
e
value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arp
e
nter
ranges: i
n
trod
u
ce is_whole_
r
ange_rl() and fix is_whole_ran
g
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
db: use
t
he function_id
c
orrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fi
l
l_db_
c
aller
_
info
:
cal
c
ulate
fu
n
ction_
i
d correc
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debu
g
:
add a __smatch_possible("variable") f
u
nctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_allo
c
:
use _complex() version o
f
g
e
t_v
a
ri
a
ble
_
from
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
extra
:
db: put s
i
n
gle quo
t
e
s
ar
o
und t
h
e function
name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
n
ter
*new* smatc
h
_scripts
/
fol
l
o
w_params
.
p
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpen
t
er
hooks: remove some
c
ommented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arp
e
nter
sql
:
snprintf() nul
t
ermin
a
tes
i
ts
s
trings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
pente
r
d
b
: m
o
ve
buf_size to the
new add_definition_db_call
b
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
n
t
er
db: introduce add_definition_db_call
b
ack
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpente
r
db: store th
e
v
a
lues of
p
arameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
db: make database
c
o
d
e
u
sable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan
C
arp
e
n
ter
*
new* min_t() ca
s
ti
n
g that truncates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Ca
r
pente
r
*new* rosenberg: check for
information leaks
from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
f
l
o
w
: tweak the ->pos setting for
f
ake
a
s
s
i
g
nmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpenter
flow:
w
hitespace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
enter
f
l
o
w
: pass c
o
ndition assignments to c
l
ients with ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Da
n
Carpenter
no_
e
ffect: a
d
d some more
t
e
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpen
t
er
deref_che
c
k: check_deref: print both line n
u
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan
C
a
rpe
n
ter
core: set p
o
s
i
tion earlier
i
n sma
t
ch_flo
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan C
a
rpenter
s
l
i
s
t
:
preserv
e
the ->line value correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Ca
r
penter
overflow: p
r
int more helpful info when the
d
ata f
i
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen_array_
b
o
unds: f
i
lte
r
out
b
ogus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpe
n
t
e
r
buf_size: silence a gcc false
positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
C
arpenter
u
s
e
P
TR
_
I
N
T() and INT_P
T
R
(
) to sile
n
ce cast warni
n
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
a
rpente
r
s
list
:
make alloc_sm_s
t
a
te() stati
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slis
t
: r
e
move some de
a
d code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Car
p
enter
core: clon
g
_
s
m() sh
o
uld p
r
e
s
erve the ->lin
e
value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan C
a
r
penter
update smatch_
d
ata/
f
o
r
linu
x
-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
D
a
n Carpente
r
*new*
b
ogus_loops: warn on bo
g
us f
o
r l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan
Ca
r
p
e
nter
extra: use get_implied_va
l
ue() i
n
s
t
ead of get_va
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
D
an Carpenter
implied:
h
andle assignments i
n
side con
d
i
tions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overflow: check sprint
f
() and snprint
f
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Da
n
Carpenter
smatch_flow: fix compile error caused by upstream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overf
l
ow: cut
down on
fa
l
se
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpen
t
er
smatch_data: update for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpente
r
gen_no_return_f
u
ncs
:
al
w
a
ys keep the defa
u
lt no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpent
e
r
I
n a couple pl
a
c
e
the original
checked
for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow: han
d
l
e
known swi
t
ch
statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
arpenter
*new* return_negative_var: retu
r
ning positive val
u
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new* memset: ch
e
ck for
m
e
mset(x,
y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
D
an
C
a
rpente
r
Support __bu
i
l
tin_unr
e
achable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan
C
a
r
penter
overflow: format_str
i
ngs:
p
ut some verb
o
se messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
buf_size: put some guesses b
e
hind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
e
xtra: handle count down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Ca
r
p
e
nter
add R
A
W
_ASSIGN
M
EN
T
_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
a
n Carpenter
M
e
rge git://gi
t
.
ke
r
nel
.
org/
p
u
b/scm/devel/s
p
arse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carp
e
n
t
er
signed: don'
t
co
m
plain
abou
t
p
utting 0xff in
t
o a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Ca
r
pent
e
r
locking: add _raw
_
spin_loc
k
_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
introduce SE
L
ECT_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Car
p
enter
*new* che
c
k_select: retu
r
n r
e
t <
0
?
:
0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new*
i
n
put_
f
ree_device:
don'
t
call this afte
r
in
p
ut_u
n
regi
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpenter
*ne
w
* check_container_of: container_of(
)
d
oesn't ret
u
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
enter
create c
h
eck_li
s
t_l
o
cal
.
h whi
c
h is for untracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
locking
:
_atomic_dec_a
n
d_lock() is a
spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
arpenter
files: clean
u
p open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpe
n
ter
add de
f
ault no
_
ret
u
rn_funcs
i
f no
p
roject is specif
i
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpe
n
t
er
u
p
date smatch_data/
for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
D
a
n
Car
p
enter
*new* check
_
ac
c
ess_ok_math: pote
n
tial i
n
teger overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Da
n
Carpenter
hooks:
i
ntroduce
ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpe
n
ter
tempor
a
r
y
ha
c
k
to
s
o
l
v
e crashi
n
g bug in fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
D
a
n C
a
rpenter
l
o
cking:
add __raw_s
p
i
n
_unlock_irq() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan C
a
r
penter
er
r
_
ptr_deref: fix assignme
n
ts insid
e
con
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Da
n
Car
p
e
nter
locking: add a
r
ch_loca
l
_
irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpenter
che
c
k
_t
y
pe: warn
a
bout kfre
e
()
vs
free_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpenter
t
y
p
e
:
i
mprove
h
a
n
dling o
f
array
types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n
Carpen
t
e
r
extra: move some stuff
i
nto smat
c
h_
d
info
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
r
pen
t
er
b
u
f
_
s
ize: oops
.
.
.
remove debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n
C
arpenter
whites
p
ac
e
_o
n
l
y
: do
n
't error ou
t
handl
i
n
g
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpent
e
r
*
n
ew* get_user_o
v
erflow: check
f
or
int
e
ger overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
sma
t
c
h
_db: don'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 Ca
r
penter
buf_size: do
c
ro
s
s
f
unct
i
on analysi
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carp
e
nter
*new
*
uncap
p
ed_
a
l
l
oc: print places where the user decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Car
p
en
t
e
r
*new* smatch_db: use a
n
d sqli
t
e dat
a
bas
e
fo
r
c
r
oss
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Ca
r
p
e
nter
param_mapper: upd
a
te copyr
i
ght
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
D
an Carpenter
add
t
est-in
s
pect to
.
g
i
tignore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
r
p
e
nter
smatch_scripts/
g
en
_
exp
e
c
t
s_err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatch_data
/
kernel
.
array_b
o
unds: array
b
oundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
e
xpects
_
err_ptr: make a li
s
t of functions which accept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
a
r
pent
e
r
unwind
:
add more unwind
functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpent
e
r
update
s
match_data/ for
2
.
6
.
36-rc2
(
part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
overflow: fixup
cross funct
i
on overfl
o
ws
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Ca
r
penter
r
emove dead no
_
le16
c
ruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Car
p
enter
unwind: add more unwind functi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
remove
c
heck_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpen
t
e
r
Update
s
match_
d
at
a
to 2
.
6
.
36-rc2 [p
a
tch 1 of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpenter
k
e
rnel: container_of()
r
eturns a non-NU
L
L pointe
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpenter
I
n
troduce add
_
macro_assign_hook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
fix out o
f
memory handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n Carpenter
N
e
w functions re
t
urns_unsig
n
ed() and r
e
turns_pointer()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Da
n
Carpen
t
e
r
*n
e
w* ch
e
ck_in
f
o_leak
.
c
:
places that
p
ass un-zero
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*
n
ew* check_retu
r
n
_enomem: complain about
r
e
t
u
r
ning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Car
p
enter
*new* platform_
d
e
vice_
p
ut() vs plat
f
orm_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
an Carpenter
unwind: liter
a
ls higher t
h
an zero
are not an
e
rror
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carp
e
nter
i
m
plied: only p
r
int the nr_children m
e
ssages if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n
C
arpenter
unw
i
nd: register unwin
d
functions that unwind everyth
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
arpenter
unwin
d
: up
d
ate equivalent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next