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, db: record the struct member values in the database
2011-10-08
Dan Carpenter
extra, db:
record the
s
t
r
uct member values i
n
the datab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
C
arpenter
extr
a
: fix parsing of val
u
es from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
fill_db
_
untrusted: fol
l
ow untruste
d
data down the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rpe
n
ter
e
xtra:
don't print if the mi
n
-
m
a
x
as th
e
value pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
ranges: introduce is_whole_range_rl() and fix
is_wh
o
le_ran
g
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
a
r
p
e
nter
db
:
use the function_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_calle
r
_info: c
a
lculate funct
i
on_i
d
co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debu
g
: a
d
d
a _
_
smatch_possible("
v
ariable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_alloc: use _compl
e
x() version of ge
t
_v
a
riabl
e
_fr
o
m_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpente
r
extra: db
:
put single quotes ar
o
und the funct
i
on name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*new* sm
a
tch_scrip
t
s/follow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
hooks:
r
emove some comme
n
ted out co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpen
t
e
r
sql: snpr
i
ntf() nul t
e
rminates its
st
r
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db:
m
o
ve buf_size to the new add_def
i
nition_d
b
_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: introdu
c
e add_defin
i
tion_db_callback
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: st
o
re the
v
alue
s
of parameter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpenter
d
b: make database
c
ode usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan C
a
rpenter
*new* min_t() cas
t
ing that
truncate
s
the
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
D
an Carpent
e
r
*new* rosenberg: chec
k
for i
n
formation leaks
from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
f
low: tweak the ->pos setting for fake as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
penter
flow: whites
p
ace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
en
t
er
flow: p
a
ss condition assignments to clients with ASSIGN
M
ENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_eff
e
ct: add some more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Ca
r
pe
n
ter
d
e
ref_check: chec
k
_deref: pr
i
nt bot
h
line numbe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan
C
arpente
r
c
o
re: set posit
i
on ear
l
ier in smatc
h
_fl
o
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpente
r
sl
i
st
:
preserve the ->line value co
r
rectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
over
f
low: pri
n
t mor
e
helpful i
n
f
o when th
e
data f
i
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
ge
n
_ar
r
a
y
_bounds:
filt
e
r out
bogus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
b
u
f
_size: silen
c
e a gc
c
f
a
lse po
s
itive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpe
n
ter
use PTR_IN
T
() and INT_
P
TR() to silence cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpe
n
ter
slist: ma
k
e
a
l
l
o
c
_sm_state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n
Carpente
r
slist: remove some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Car
p
enter
c
o
r
e: clong_sm(
)
s
h
ould p
r
eserve the ->lin
e
value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Carpenter
u
p
date smat
c
h_data/
f
or linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
D
an
C
a
rpenter
*new* bo
g
us_loops: wa
r
n on bogus for l
o
op
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
e
xt
r
a: use get_implied_v
a
lu
e
() instead of g
e
t
_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Ca
r
penter
impl
i
e
d
: handle as
s
ig
n
men
t
s inside co
n
diti
o
ns
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carp
e
n
ter
overf
l
ow: check sprintf() an
d
snprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Da
n
Carpente
r
smatc
h
_flow: fix
c
o
m
pile error caused by upstream chan
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an C
a
rp
e
nter
overfl
o
w: cut down
o
n fal
s
e positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Da
n
Carpe
n
t
er
smatch_data: u
p
date for 3
.
0
kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpen
t
er
gen_no
_
r
eturn_fun
c
s: always keep the
default no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In a
c
o
u
ple place t
h
e original checked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
a
rpenter
f
l
ow: ha
n
dle known sw
i
tch statemen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpent
e
r
*new*
r
eturn_neg
a
tive_var:
retur
n
ing po
s
itive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
*new* m
e
mset: check for memset(x, y, 0); typo
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Da
n
Carpente
r
Support __builtin_unreachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
over
f
l
o
w: format_str
i
ngs: put some verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
buf
_
size:
p
u
t
som
e
guess
e
s behind
--spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan C
a
rpenter
ext
r
a: handle cou
n
t
do
w
n for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
Car
p
enter
add
RAW_ASSIGNMENT_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpe
n
ter
Merge git://git
.
kernel
.
org/pub/s
c
m/devel/
s
pa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Car
p
enter
signed: don't complain about putting 0xff into a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locki
n
g: add _raw_spi
n
_lock_neste
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carp
e
nter
int
r
oduce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
C
a
r
penter
*
n
ew* check_select: return
r
et
< 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpe
n
t
er
*ne
w
* input_
f
ree_devi
c
e:
d
on't
call thi
s
a
fter input_un
r
egis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* c
h
eck_containe
r
_of: contai
n
er_of
(
) d
o
esn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpenter
create check
_
list_
l
o
cal
.
h whic
h
is fo
r
untracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
enter
locking: _atomic_dec
_
a
n
d_lock()
is a s
p
inlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
Carpenter
files: cleanup
open
_
file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpenter
add default no_re
t
urn
_
funcs if
n
o project is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
upda
t
e smatch_data/ for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
D
a
n C
a
rpenter
*n
e
w* check_access_ok_math: potential int
e
g
e
r
overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
hooks:
i
ntrodu
c
e ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
tempo
r
ary hack t
o
solve crashing bug in fs
/
reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpenter
lo
c
king:
a
d
d
__
r
aw_spin_unlock_irq() functi
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
D
an Carp
e
nter
err_
p
tr_deref: fix a
s
signments inside cond
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
lock
i
ng: add arch_local_irq_save(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpent
e
r
check
_
type
:
w
ar
n
abo
u
t
k
f
ree() vs free_
n
et
d
ev
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpenter
t
y
pe: improve handling
of array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
extr
a
:
move some st
u
ff into sm
a
t
c
h_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n C
a
rpenter
buf_size:
oop
s
.
.
.
r
emove de
b
ug ou
t
p
ut!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
whitespace_onl
y
: don't error out handling
.
h
files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
*
n
e
w
*
g
e
t
_user_ov
e
rflow:
c
heck for integer overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
e
n
t
er
sm
a
tch_db: don't complai
n
if
t
h
e db
doesn't
e
xist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpenter
buf_size
:
do
cross function analys
i
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
r
p
ent
e
r
*new* uncapped_alloc:
p
r
int places w
h
ere th
e
us
e
r decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new*
s
ma
t
ch
_
db: us
e
and sqlite database f
o
r
c
r
o
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
r
pen
t
e
r
par
a
m_
m
apper: update
c
opyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
Dan C
a
r
pente
r
add t
e
st-in
s
pect to
.
gitignore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
arpenter
smatch_
s
cripts/gen_e
x
pe
c
t
s_
e
rr_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpente
r
smatch_data
/
ke
r
nel
.
a
rray_bounds:
a
rray b
o
und
a
ry d
a
ta
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpe
n
ter
e
xpects
_
err
_
ptr: make a
list
of funct
i
o
n
s which accept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
un
w
i
n
d: a
d
d
m
ore u
n
wind
fun
c
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
u
pdate smat
c
h_data
/
for 2
.
6
.
3
6-rc2
(pa
r
t 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
overflow: fi
x
u
p
cr
o
s
s
function o
v
erflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpen
t
er
remove dead n
o
_le1
6
cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan
C
ar
p
enter
unw
i
nd: add
more unwind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
remove check_
l
e16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n Carpent
e
r
Update
s
m
atch_data
to 2
.
6
.
36-rc2 [patch 1 of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
Carp
e
nter
kernel:
c
ontain
e
r_of() retur
n
s a non-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Ca
r
penter
I
ntroduce
a
dd_macro_as
s
ign_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan C
a
rpenter
fix out of memo
r
y hand
l
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan C
a
rp
e
nter
New functions retur
n
s_unsi
g
ned() a
n
d returns
_
p
o
int
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpe
n
t
e
r
*new* check_info_leak
.
c: places that pass un-
z
eroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new* c
h
e
ck_
r
eturn_enomem: complain about retu
r
n
in
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Ca
r
penter
*new* platform_device_
p
ut() vs platform_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carp
e
nt
e
r
unwind: liter
a
ls higher than zero are
not an error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
im
p
lied: only pri
n
t
t
he nr_children me
s
sages if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next