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
db: caller_info: fix more fall out
2012-05-22
D
an Carpenter
mo
d
ific
a
tion: remove c
a
lls
to
d
e
lete_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
check_derefe
r
ence: enable
this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
db: sto
r
e whether functi
o
ns
a
r
e global or stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carp
e
nter
t
rac
k
er:
r
e
move
u
nused clone_tracker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carp
e
nter
slist
:
b
uffer overflow in
d
eb
u
gging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
a
rpenter
use
r
_
dat
a
: fix
NULL d
e
reference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
an Carpen
t
er
db: white space
cle
a
nu
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carpen
t
er
db:
m
ove p
a
r
a
meter_im
p
lications into
t
he
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpen
t
er
ranges
:
add possibly_true/false
_
range_l
i
sts
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
an C
a
rpenter
o
v
erflow: automatically
l
ist f
u
nction
s
that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Car
p
e
n
t
er
mo
d
i
fi
c
ation_ho
o
ks: complete
re
w
rit
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Da
n
Ca
r
penter
db: print the SQL queri
e
s
when --d
e
bug is
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
arp
e
nter
cleanu
p
:
use valid_ptr_min/max
.
get rid of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n Carpenter
extra: de
r
e
f
erencing a
pointe
r
means it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
enter
imp
l
ied: clea
n
u
p debug
o
u
t
p
u
t a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n Carpe
n
ter
slist:
p
ull sh
o
w_sm() into a separa
t
e function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpente
r
check_ke
r
n
e
l:
E
RR_
P
TR() returns
n
on-NULL (m
o
s
t
ly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
pent
e
r
derefe
r
ence che
c
ks: use the cross functio
n
inf
o
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*
new* che
c
k_dereferences_param: list functions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpen
t
er
*new* ret
u
r
n
s: merge all slists from all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db: add ca
l
l_implies ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carp
e
nter
flow:
p
rint a different file
n
ame whe
n
--info o
p
ti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpen
t
e
r
der
e
f
: fix a typo in the error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
us
e
r_data
:
track user data that i
s
r
e
tu
r
ned to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
arpe
n
ter
bool_implications: remove debug
g
ing out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
D
an Carpenter
fix com
p
ile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
generisize
.
pl: st
r
ip all strings not
j
ust the fir
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf
_
size: A
d
d a
N
U
L
L check
t
o get_array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
*new* sizeof_p
o
i
n
t
e
r:
u
sing
s
izeof(p
)
w
h
e
r
e si
z
eof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpen
t
er
overf
l
ow: chec
k
memcpy()
t
o see if
w
e're
c
omparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
e
r
ex
t
ra: don't reset &a
r
guments
until th
e
ot
h
e
r
checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
flow:
change how "for (i = 0; ; i++) {
.
.
.
" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an Carpe
n
ter
*new* or_vs_a
n
d
: c
o
mplain about if (x
!
=
3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
sparse: int
r
o
duce
get_expression
_
value_
n
omod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan
Carpen
t
er
type:
i
ntrod
u
ce i
s
_pointer
(
) f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan C
a
rp
e
nter
extr
a
: frob(f
o
o) resets
the
value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carp
e
nter
e
x
tra
:
foo((void *)&x) writes to x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges: in
t
r
o
duce invert_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
m
ath: handle __smat
c
h
_im
p
l
i
e
d(&x
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
r
anges
:
commit ra
n
ge_lists_eq
u
iv() s
o
that bool_impli
c
ations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
s
m
d
b_
p
aram_b
u
f_size
.
sh:
ask db what siz
e
buf
f
e
rs are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra:
ge
t
_imp
l
ied_range_lis
t
()
should ha
n
dle condition
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
buf
_
siz
e
: store buffe
r
sizes in db (turned
off by
d
efaul
t
)
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
Da
n
Carpenter
bool_implications: make a list of implications for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n Carpenter
math: handle logical expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
core:
print sm_
m
s
g
()s before parsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Ca
r
pent
e
r
parameter_implications: generate list of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
C
a
rpenter
d
b: match_return() shouldn't
r
e-implement get_implied_ran
g
e_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
sort of handle
co
n
diti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
ath: si
m
plif
y
implied_con
d
ition_true
/
false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: si
m
plify k
n
own_cond
i
tion_true
/
fa
l
se()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpenter
m
ath: handle __sm
a
tch_i
m
plied(({frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carp
e
n
t
er
m
a
th: handle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpent
e
r
extra,
math:
m
ove known
_
co
n
dito
n
_t
r
u
e
/
false(
)
e
tc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpent
e
r
pro
j
e
c
t:
fix parameter implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
ent
e
r
helper: introduce get_m
e
mber_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db: prin
t
al
l
return values at en
d
o
f
functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpente
r
db: add some
s
m
d
b_ s
c
ripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
rpenter
f
ill_db_return_inf
o
:
f
ix out dated p
a
rsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: al
w
ays initiali
z
e
the range in get_i
m
pli
e
d_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
extra: fix g
e
t_implied_range() for function ca
l
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpent
e
r
check_macros
:
c
lean
u
p
: use pos
i
tions_eq(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpenter
macro
:
take
a
str
u
ct positi
o
n, not a pointer to a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Ca
r
pe
n
t
er
im
p
lied: cl
e
a
n
up: mov
e
dubug pri
n
tfs to their
o
w
n function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
range
s
: get rid of possibly_(true/fa
l
se)_range_list_ls(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpent
e
r
ranges: cleanup: mo
v
e t
r
u
e
_comparison_ra
n
g
e_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpenter
extra: add param
e
t
er impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
r
anges: introdu
c
e clone_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpent
e
r
ranges:
initialize the pointer in
g
et_va
l
ue_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpent
e
r
db: i
g
nore
f
unctions which
are called a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
t
ype: expo
r
t get_real_b
a
se_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carp
e
nter
db: add
c
o
de to
h
ack
up
t
he database with project specific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpente
r
con
d
itions: preserve |=
a
s the assign op i
n
fo
o
|=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
an Carpent
e
r
t
ype:
s
izeof() is unsigned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions:
s
parse
n
e
ver s
e
ems to
u
s
e
S
P
ECIAL_UNSI
G
NE
D
_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Da
n
C
a
rpenter
helper: introduce positions_eq(
p
os1, pos
2
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
D
an Carpent
e
r
build_kern
e
l_data
.
s
h: ma
k
e
i
t executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
C
a
rpenter
macro_side_effects: silence false p
o
sitives in
s
i
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_kernel
.
sh: creat
e
a bak
.
smatch at the beg
i
nning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Ca
r
penter
*new*
c
heck_ma
c
r
o
_side_effects:
m
acros which evaluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flow: i
g
n
o
re __builtin_constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
s
pa
r
se
:
set the scope->
t
oken me
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
call_tre
e
.
pl:
This was st
i
l
l
using t
h
e o
l
d f
o
rmat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n
Carpenter
build_ker
n
e
l_data
.
sh: add -
-
call-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpe
n
t
e
r
locki
n
g: ignore unr
e
a
c
hable unloc
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
Carpenter
lo
c
king: white sp
a
ce ch
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Carpent
e
r
new_bugs
.
sh: f
i
x it for
g
cc and sparse warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpenter
l
o
cking:
t
ons of locks
w
e
r
e
i
g
n
ored beca
u
s
e
o
f
c
hanges
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
token_store: create
s
a position -
>
token mapping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
D
an Carpe
n
ter
Merge branch
'
devel2'
commit
|
commitdiff
|
tree
2012-03-08
Da
n
Carpente
r
*new* check
_
bit_shift
.
c: (foo & BAR) vs
(
foo & (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpent
e
r
*new* poi
n
ter_math:
c
ompl
a
in about ptr + siz
e
of() where
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carp
e
nter
type:
export get_pointer_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
D
a
n
Carp
e
n
t
er
t
y
p
e
: ex
p
or
t
get_poin
t
er_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
flo
w
:
fix segfa
u
l
t on p
a
r
s
e error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
hooks: a
d
d CAST
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Carpenter
type:
a
dd nr
_
b
i
ts(str
u
c
t expressi
o
n *expr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpe
n
ter
extra
:
de
l
e
t
e the get_r
a
nge_list() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
new: smat
c
h_
s
c
r
ipts/build_ker
n
el_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next