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
tracker: fix a small memory leak
2012-05-22
Da
n
Carpen
t
er
t
racker: fix a
s
m
all mem
o
ry l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an
C
arpenter
modifica
t
ion: remove
c
alls to delete
_
stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
t
er
c
h
eck_
d
erefer
e
nce: ena
b
le this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
d
b
: store whether functions are
global or
s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
track
e
r: remove unused cl
o
ne_tracker_li
s
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an
C
arp
e
nte
r
slist: bu
f
fer overflow in debugg
i
ng c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
user_d
a
ta: fix NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
db: white space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
pente
r
db
:
move par
a
meter_implications i
n
to the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpe
n
ter
ran
g
es
:
add
p
o
s
sibly_true/fal
s
e_range
_
lists_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Ca
r
penter
overfl
o
w
:
a
u
t
omatic
a
l
ly list functions tha
t
t
ake a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Carpenter
modification
_
hook
s
:
comple
t
e rew
r
i
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan
Ca
r
pe
n
ter
db:
print t
h
e SQL queries
w
hen --debug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
cleanup: use
va
l
id_ptr_min/
m
ax
.
get rid of P
O
INTER
_
MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
pen
t
er
ext
r
a:
dereferencing a pointer means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implied: cleanup de
b
ug o
u
tp
u
t a lit
t
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: pull sh
o
w_sm()
i
nto a separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
c
h
ec
k
_
kernel: ERR_PT
R
(
) returns non-NU
L
L (mostl
y
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
e
refere
n
ce checks: use t
h
e
cross func
t
ion info f
r
om
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*ne
w
* c
h
eck_dereferences
_
param
:
list functions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
*new* re
t
urns: me
r
ge all s
l
is
t
s
from all returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
pente
r
db
:
add
c
all_imp
l
ies t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
flow: print a different filenam
e
w
hen --inf
o
option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref:
f
ix a typo i
n
the err
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
a
rpe
n
ter
user_da
t
a: trac
k
user data t
h
at
i
s
returned t
o
ot
h
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n Carpenter
b
ool_implica
t
ions: remove debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan
Carpe
n
ter
fix
c
ompile on
U
b
u
ntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
generisize
.
pl: strip a
l
l strings not j
u
s
t
the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan C
a
rpenter
buf_size:
Add a NULL check
t
o get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
C
arpenter
*ne
w
* si
z
eof_poi
n
te
r
: usi
n
g size
o
f(p) wh
e
re sizeo
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpenter
ov
e
r
flow:
chec
k
mem
c
p
y
() t
o
se
e
if we're co
m
paring
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Car
p
enter
extra:
do
n
't reset &argument
s
un
t
il the othe
r
checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
f
l
ow:
chan
g
e h
o
w "for (i = 0; ; i++) {
.
.
.
" is
h
a
nd
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new*
o
r_vs_and:
complain about
if (x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
sparse:
intr
o
duce
get_exp
r
ess
i
o
n
_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
D
a
n
Carpenter
type:
i
ntroduce is_po
i
nte
r
() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: f
r
ob(foo) rese
t
s the va
l
ue of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Ca
r
pente
r
extra:
f
oo((void *)&x
)
wr
i
tes to x proba
b
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
nter
range
s
: int
r
odu
c
e invert_range_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Da
n
Carpenter
mat
h
: handle __
s
match_i
m
pli
e
d
(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ran
g
e
s
: commit ra
n
ge
_
lists_equiv
(
) so that bool_im
p
licati
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpenter
s
mdb_param_buf_size
.
sh: ask db w
h
at size buffers
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: get_implied_ran
g
e_list() shou
l
d
handle conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpente
r
buf_size: store b
u
f
f
er siz
e
s i
n
d
b (tur
n
ed off by def
a
ult)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
db: don't die on
SQL error
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
bool_implicatio
n
s: make a list of
i
mp
l
ication
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan C
a
r
penter
math: handle logical expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
c
ore: print sm_msg
(
)s bef
o
re parsing
starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
penter
parameter_implications: ge
n
erate list of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpente
r
db:
match_return() sh
o
ul
d
n'
t
re-implement
get_i
m
p
l
ied_rang
e
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
math: sort of handl
e
condi
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
m
a
th: simplify implied_con
d
it
i
on_tru
e
/f
a
lse(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
C
a
r
penter
math: sim
p
l
i
fy
k
n
o
wn_condition_true/fa
l
s
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
math: handle __s
m
atch_implied(({frob(); 2;}))
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
C
a
rpenter
m
a
t
h: handle foo = !
2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
e
x
tra, math: move known_condit
o
n_true/false()
etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
p
enter
project: fix pa
r
ameter i
m
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
Carpenter
helper
:
introduce get_member_na
m
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
rpenter
db:
print all return
v
alues at end of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: a
d
d so
m
e smdb_ sc
r
ipts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
en
t
er
fill_db_ret
u
r
n_info:
fix out dated parsi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
extra:
a
lways initial
i
ze the range in get_
i
mplied_range_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: f
i
x get_implied_r
a
n
ge() for function
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
check
_
macros: cleanup: use po
s
itions_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: ta
k
e a struct p
o
sition,
not a pointer to a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Car
p
e
nt
e
r
i
m
plied: cleanup: move du
b
ug printfs
t
o th
e
ir own fu
n
ct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpe
n
ter
ra
n
ges
:
get rid
of pos
s
ibly_(t
r
ue/
f
alse)_range_list_ls
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rp
e
nter
r
a
nge
s
: cleanup:
move true_comparison_
r
ange_l
r
()
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpent
e
r
extra: add parameter impl
i
cat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
ranges
:
in
t
rod
u
c
e clone_per
m
anent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
ranges: init
i
a
l
ize the pointer in g
e
t_value_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpent
e
r
db
:
ignore functions
w
hic
h
are called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type:
e
x
p
ort get
_
real_base_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpent
e
r
db: add code to hack up the
d
ata
b
ase wi
t
h project specific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Ca
r
penter
c
o
n
ditions: preserve |=
a
s
the assign o
p
i
n foo
|
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpenter
type:
s
izeof() is
u
n
signed lo
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
c
ondit
i
ons: sparse never seems to u
s
e S
P
EC
I
A
L
_UNSIGNED_G
T
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
h
el
p
er: introduc
e
p
o
sitions
_
eq(p
o
s1, pos2) functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
D
a
n Carp
e
nter
build_kernel_data
.
s
h: make it exec
u
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan
Carpenter
macro_side_eff
e
cts: si
l
enc
e
false p
o
sitives
i
nside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
t
e
st_k
e
rnel
.
sh: create a ba
k
.
s
m
atch at the be
g
inning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
nte
r
*n
e
w* ch
e
ck_macro_sid
e
_
effects: macros
whic
h
eva
l
uate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpe
n
ter
flow: ignore __bu
i
l
t
i
n_co
n
st
a
nt_
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpen
t
e
r
spar
s
e: set the scope-
>
t
o
ken 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 t
h
e old format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Car
p
en
t
er
build_kernel_data
.
s
h
: add --call-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Carpenter
loc
k
ing: ignore unrea
c
habl
e
unl
o
cks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
an Ca
r
penter
lo
c
k
ing
:
white
s
p
a
ce
c
hanges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Carpent
e
r
n
ew_bu
g
s
.
sh: fix it for gcc
a
nd
s
parse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carp
e
nte
r
l
o
cking: ton
s
of lock
s
w
er
e
ignore
d
because of changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
token
_
store: creates a
p
osi
t
ion ->
token m
a
pp
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
Merge branch 'de
v
el2'
commit
|
commitdiff
|
tree
2012-03-08
D
a
n Carpenter
*new* che
c
k_bit_
s
hift
.
c: (fo
o
& BAR) vs (fo
o
& (
1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
D
an Carpenter
*new* pointe
r
_ma
t
h: c
o
mpl
a
i
n
about
pt
r
+ si
z
eof() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
D
a
n
Car
p
enter
type:
e
x
port
g
et_pointer_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
D
an Carpenter
type: export get
_
pointe
r
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n
Carpenter
f
l
ow: fix segfault on
parse er
r
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n
Carpenter
hooks: ad
d
CAST_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carp
e
nter
t
y
pe:
a
dd nr_bits(struc
t
expression
*expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Carpe
n
ter
extra: del
e
te t
h
e get
_
ra
n
ge_list() f
u
nc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next