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
user_data: syscalls are a source of user data
2012-05-22
Dan Carpe
n
ter
u
s
e
r
_dat
a
: fix
NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carpe
n
ter
db: w
h
it
e
s
p
ace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carpe
n
ter
d
b: move
p
ar
a
m
eter_
i
m
p
l
icat
i
ons into th
e
dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
an Carpenter
rang
e
s
:
add possibly_
t
ru
e
/false_range_list
s
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpente
r
overflow
:
automatical
l
y
l
ist func
t
ions t
h
at take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
modification_hooks
:
c
o
mpl
e
te rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan
Carp
e
nter
db:
print t
h
e SQL qu
e
ries when --debug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Carpenter
cle
a
nup: use valid_ptr
_
min
/
max
.
g
et rid of POINTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
e
nter
extra:
de
r
ef
e
rencing a poin
t
er
means
i
t
is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implied: cleanup debu
g
output a
little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slis
t
: pull show_sm() into a separate functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpe
n
ter
check_kernel: ERR_PTR() r
e
turns non-NULL (mostl
y
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref
e
rence checks: use the cro
s
s function info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*
n
e
w
*
check_
d
erefe
r
ences_
p
aram: list funct
i
ons that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
*new* return
s
: merge all slists from all return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpe
n
ter
db: add call_implie
s
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
f
l
ow: print a d
i
fferent
f
ilename when --info op
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Ca
r
penter
der
e
f: fix a ty
p
o in
t
he err
o
r
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Carpenter
user_
d
ata: track user da
t
a that
is
r
eturned
to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
a
rpe
n
ter
b
o
o
l
_implications: remove
d
eb
u
gging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan C
a
rpenter
fix comp
i
l
e
on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
g
e
n
eri
s
ize
.
pl: str
i
p all strings not just t
h
e first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpe
n
te
r
b
uf_
s
ize
:
A
d
d a NUL
L
check to get_array_
s
ize_by
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
C
a
rpenter
*new* sizeof_poin
t
er: using sizeof(p
)
where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
an
Carp
e
nter
overflow: check memc
p
y() to see
if we're
c
o
m
paring
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
Carp
e
nter
e
xt
r
a: don't reset &arguments until the other
c
hecks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
a
r
penter
flow: cha
n
ge how "f
o
r (i = 0; ; i+
+
) {
.
.
.
" is han
d
l
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpenter
*
new* or_vs_and:
c
omp
l
a
in
about if (x !
=
3 || x
!
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Ca
r
p
e
n
ter
s
parse
:
introduce get_exp
r
essi
o
n_value_nomo
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan C
a
rpe
n
ter
type:
i
ntroduc
e
is_pointer() fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpe
n
ter
e
xtra: f
r
ob
(
foo)
r
esets
the value
of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpent
e
r
extra: foo((v
o
i
d *)&x) writes to
x
proba
b
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges
:
introduce invert_range_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: handle __smatch_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
ranges: commit range_li
s
ts_equiv(
)
so that bool_implication
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
smdb_
p
ara
m
_
buf_size
.
sh: ask
d
b what size buffers
a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpent
e
r
extra: get_
i
mplied_range_l
i
st
(
) should
h
an
d
le
c
onditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_si
z
e
:
sto
r
e buffe
r
sizes in
d
b
(tur
n
e
d off
by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db: don't die on SQL errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
o
ol_implications: make a list of
i
mplication
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
ma
t
h: handl
e
logical expressio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
core: print sm_msg()s
b
efo
r
e
parsing s
t
art
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
an Carpente
r
parame
t
e
r
_i
m
plicat
i
ons:
ge
n
erate l
i
st o
f
f
u
n
c
tions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpen
t
er
db: mat
c
h_return() shouldn't re-
i
mplem
e
nt get_implie
d
_range
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: s
o
rt
of
handle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: simplify
i
mpl
i
ed_condition_true/f
a
lse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
math: simpli
f
y
kno
w
n_cond
i
tion
_
true
/
false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpe
n
ter
math: handle __smatch_implied(({frob(); 2;}
)
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: handle foo = !2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpente
r
ex
t
ra,
m
ath: move known_conditon_t
r
ue/fals
e
() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
project: fix parameter
i
mplications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
Carpent
e
r
helper:
i
n
tr
o
duce get_memb
e
r_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
a
rpe
n
t
er
db: print all return values at end of funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
a
n Carpe
n
t
er
db: add some smdb_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fil
l
_db_ret
u
rn_inf
o
:
fix o
u
t
dated pa
r
sing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
e
x
tra: always initialize the r
a
nge in ge
t
_impli
e
d_rang
e
_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
ex
t
ra: fix get_implied_range() for fun
c
tion calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
r
penter
check_macros: cleanup: use pos
i
tio
n
s_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carp
e
nte
r
ma
c
ro: take a s
t
ruct position, not a poin
t
er to a s
t
ruct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
implied:
cl
e
anup: move dubug pr
i
ntfs to
their own f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: get
r
i
d
of poss
i
b
ly_(true/fal
s
e
)
_range_l
i
st_
l
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: c
l
ea
n
up: mov
e
true_
c
o
mpariso
n
_ra
n
ge_
l
r(
)
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
C
arpen
t
e
r
extra: add
p
arameter i
m
plications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
t
e
r
rang
e
s
: intro
d
uce cl
o
ne_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carp
e
nter
r
a
n
g
es: initialize the poin
t
er
in
g
et_value_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpenter
db: ign
o
re functi
o
ns which a
r
e called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Ca
r
penter
typ
e
: expor
t
get_real_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
db: add co
d
e to hack u
p
the dat
a
base with project sp
e
cific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
c
o
n
d
itions:
p
reser
v
e |= as the assign op in foo
|
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpe
n
ter
ty
p
e: sizeof
(
) is unsigned long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions: sparse nev
e
r
s
eems to
u
se SPECIAL
_
UNSIGNED
_
GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan
C
a
rpenter
h
e
l
per
:
i
n
troduce positions_
e
q(po
s
1, pos2) f
u
nctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpent
e
r
build_ker
n
el_data
.
sh: m
a
ke it executable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carp
e
nter
macro_side
_
eff
e
c
t
s: silence fals
e
posi
t
ives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Car
p
enter
test_kerne
l
.
s
h
: c
r
eate
a bak
.
smatch at the begi
n
nin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Carpen
t
er
*new*
c
he
c
k_mac
r
o_side_effects: macros
which ev
a
l
uate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpen
t
er
flow
:
igno
r
e __b
u
iltin_constant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
spars
e
: set the s
c
ope->token member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
call_tree
.
pl:
This was still using th
e
old format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan
Carpent
e
r
b
u
ild_kernel_data
.
sh: add --
c
a
ll-
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpenter
locking: ignore un
r
eachable
unl
o
cks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: white s
p
a
c
e cha
n
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
an Carpenter
n
e
w_bugs
.
s
h:
f
i
x it for gcc
a
nd sparse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
an Carpent
e
r
l
o
cking: t
o
n
s
of
locks were i
g
nore
d
b
e
cause of changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan C
a
rpenter
tok
e
n
_
stor
e
:
creates a po
s
ition -> to
k
e
n mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Da
n
Carpenter
Merge
branc
h
'de
v
el2'
commit
|
commitdiff
|
tree
2012-03-08
D
a
n Car
p
enter
*ne
w
* check_b
i
t_sh
i
ft
.
c: (foo & BAR) vs
(
foo
&
(1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Da
n
Carpenter
*new*
p
o
inter_math: complain about ptr + sizeof() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpenter
type: export get_po
i
nter_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Da
n
Carp
e
nte
r
type:
e
xport get_point
e
r
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carp
e
n
ter
flow: fix segfault on
p
arse error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carpenter
hooks
:
add
C
A
ST
_
HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan C
a
rpenter
ty
p
e:
ad
d
nr_bits(struct ex
p
ress
i
on *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
extra: de
l
ete the g
e
t_ran
g
e
_
l
i
st
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
D
a
n Ca
r
penter
new: smatch_sc
r
ipt
s
/bu
i
ld_kernel
_
data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan C
a
rp
e
nter
new: smatch_
s
c
r
ipt
s
/test_
k
er
n
el
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
ranges:
m
ake possibly_
t
rue/fa
l
se() t
a
ke
e
xpression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan C
a
rp
e
n
t
e
r
express
i
ons: new file sma
t
ch_ex
p
ressions
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpent
e
r
tre
e
wide: don't print offset
i
nto
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
g
e
neri
z
e
.
p
l: make it
w
ork
f
o
r
sparse w
a
rni
n
g
s
a
s
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next