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
deref: fix a typo in the error message
2012-05-15
Dan Car
p
enter
deref: fix a ty
p
o in the error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n Carpenter
u
ser_data: track user data t
h
at
i
s return
e
d to
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpenter
b
ool_imp
l
ications: remove
debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpe
n
t
e
r
fix comp
i
le on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisize
.
pl
:
strip all s
t
rings not just
the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan
Carpe
n
ter
buf_size: Add a NUL
L
c
h
eck to
get_array_size
_
bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
*new* sizeof_pointer: using sizeof(p) where sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
overfl
o
w: ch
e
ck
memcpy() to see if
w
e're compa
r
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpenter
e
xt
r
a: don'
t
reset &arguments
until
the
o
t
her checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpent
e
r
flow:
c
hange h
o
w "for (
i
= 0; ; i++
)
{
.
.
.
" is
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arpenter
*new* o
r
_vs_and: c
o
mplain
about if (
x
!= 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carp
e
nter
sparse: in
t
rod
u
ce g
e
t_expressi
o
n_value_nomod(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan C
a
rpenter
type: introd
u
ce is_pointer() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan C
a
rp
e
nter
ext
r
a: fro
b
(foo
)
resets the
v
alue of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Da
n
C
arpenter
e
x
tr
a
: foo
(
(
voi
d
*)
&
x)
writes
t
o x
prob
a
bly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpent
e
r
ranges: introdu
c
e
i
n
vert_rang
e
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Da
n
C
arpenter
m
ath: handle __smatch_implied(&x
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
ar
p
e
nter
ranges: commit
r
ange_lists_equiv() so t
h
at bool_implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_param_bu
f
_size
.
sh: ask
d
b what size b
u
ffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: get_i
m
plied_ra
n
g
e
_list() should handle condi
t
io
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_size
:
store bu
f
f
e
r
sizes
i
n db
(turned off by defaul
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Ca
r
p
e
n
t
er
db: don't die on
SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
bool
_
implications: ma
k
e
a list of i
m
plications
fo
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
an C
a
rp
e
n
ter
math: handle logic
a
l expr
e
s
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carp
e
n
t
er
core: prin
t
sm
_
ms
g
()s
bef
o
re
parsin
g
st
a
rts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
p
arame
t
er_implications:
g
enerate li
s
t of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
C
arpenter
db:
match_
r
eturn(
)
shouldn't r
e
-
i
mplement get_implied_range
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpenter
math
:
sort o
f
ha
n
dle
c
onditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
enter
math: simplify implied_conditio
n
_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
a
t
h
: sim
p
lify kno
w
n_condition_true/fals
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
a
rpenter
math:
h
a
ndle __smatc
h
_implied((
{
frob(); 2;}))
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpent
e
r
m
a
th: handle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
extra, mat
h
:
move known_conditon_true/fal
s
e() etc fr
o
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
project: fix parame
t
er implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpen
t
er
he
l
per: in
t
roduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan
Carpenter
db:
p
rint all
retur
n
values at
end
o
f f
u
nct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: add s
o
me
s
mdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
fill_db_return_info
:
f
i
x out dated par
s
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpe
n
t
e
r
ext
r
a
:
a
lways initialize the r
a
nge in get_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Ca
r
penter
extra: fix get_
i
mp
l
ied_range()
f
or function c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
c
heck_macro
s
:
cleanup: use pos
i
tions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arp
e
nter
macro: take a s
t
r
u
ct posit
i
on, not a pointer
t
o
a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
pe
n
ter
implied:
c
leanup: mo
v
e dubug pr
i
ntfs
t
o thei
r
own
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
r
anges: get rid of possibly_(t
r
ue/false)_
r
ange_lis
t
_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
ente
r
ranges: cleanup
:
mov
e
true_comparison_range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpe
n
ter
extra
:
add param
e
ter implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges:
i
n
tro
d
u
c
e
clone_perma
n
e
nt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
rp
e
nter
r
an
g
es: initialize th
e
po
i
nter in get_va
l
ue_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ign
o
re functi
o
n
s which are
c
al
l
ed a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
penter
ty
p
e: export ge
t
_real_base_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
d
b
: add co
d
e
to h
a
ck up
t
he database w
i
th
p
r
o
j
ect spe
c
ific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpent
e
r
condit
i
ons
:
preserv
e
|= as the as
s
ign op in foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
an Carpenter
type: sizeof
(
)
i
s unsig
n
ed long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
c
o
n
ditions: sparse ne
v
er seems to use SPECIAL_UNSIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan C
a
rpenter
h
elper:
i
n
t
r
oduce positions_
e
q
(
pos1, pos2) fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpe
n
ter
build_kerne
l
_
d
at
a
.
sh:
m
ake it executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpen
t
er
macro_s
i
de_e
f
fects: silence
f
alse positives insid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
tes
t
_kern
e
l
.
sh: create a b
a
k
.
smatch at
the
beginni
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n C
a
rpenter
*new* check_macro_side_effects: macr
o
s which eva
l
u
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpe
n
ter
flow
:
ignore __builtin_constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
spa
r
se: set the s
c
ope->
t
oken
m
ember
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpen
t
er
call_tree
.
pl: This was stil
l
u
sing the
o
l
d forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
build_
k
e
rnel_d
a
ta
.
sh: a
d
d -
-
c
all-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
Carpenter
l
ockin
g
: ig
n
ore unreachable u
n
locks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
l
o
cking
:
whi
t
e
space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
new_b
u
gs
.
sh
:
fi
x
it
f
or gcc an
d
sparse warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: ton
s
of
lo
c
ks were ignored b
e
caus
e
of changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
D
a
n Carpe
n
te
r
token_store:
cr
e
a
t
e
s a position -> tok
e
n
m
apping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan
Carpenter
M
erge bra
n
ch 'de
v
e
l
2
'
commit
|
commitdiff
|
tree
2012-03-08
Dan
Carpenter
*new* check_
b
it_shift
.
c: (foo & BAR) vs (foo
& (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan C
a
rpenter
*new* pointer_math
:
compl
a
in about ptr + s
i
zeof() wh
e
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan
Car
p
ent
e
r
type: export get
_
p
o
i
n
ter_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan Carpenter
type: export get_pointer
_
ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
flow: fix segfault o
n
parse error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
hook
s
: add CAST_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan C
a
rpenter
ty
p
e:
a
dd nr_bits(s
t
r
u
ct expressi
o
n *
e
xpr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
arpe
n
ter
extra:
de
l
e
te the get_
r
a
n
ge
_
list() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
D
a
n Carpente
r
new: smatch_scrip
t
s/build
_
k
e
rnel_dat
a
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
D
a
n Carpen
t
er
new: sma
t
ch_scr
i
pts/test_kernel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
ranges:
make possibly_
t
rue/fa
l
se()
t
ake
e
xpression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
D
an C
a
rpenter
expressions:
new file smatch_expressio
n
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carpenter
tree wide: don't prin
t
of
f
set int
o
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
generi
z
e
.
pl: make it
w
ork
for
s
p
a
rse
warnings as w
e
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpen
t
er
es
t
ate: do
n
't reuse
e
xtra_unde
f
ine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
cont
r
aints:
a
dd option --debug-rel
a
ted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n
C
a
r
penter
constra
i
nts: make set_equiv
(
) take an
e
xpression poi
n
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpenter
extr
a
, constraints: move
set_equiv()
from extra
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
p
enter
debu
g
: add __smatch_du
m
p_
r
elated()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
a
r
p
ente
r
impl
i
ed: use add
_
range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpen
t
er
estat
e
, ranges:
move whole_ran
g
e from est
a
te to ran
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
p
enter
extra:
c
leanup is_
w
ho
l
e
_
r
ange()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ranges: make po
s
sib
l
y_true_range_list_rl() take
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
ranges: rename get_si
n
gle_value_from_dinfo()
=
>
es
t
ate_get_s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
implied
:
use new estate_related(
)
functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpenter
constraints: use
n
ew est
a
t
e
_related
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carpente
r
constrain
t
s: make get_c
o
mmon_
r
elationship(
)
take a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
estate:
int
r
o
d
uce estate_min/ma
x
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
a
r
p
e
n
t
er
es
t
a
te: introdu
c
e esta
t
e_
r
ela
t
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpenter
estate: int
r
oduce es
t
ate_
r
anges(
)
helper
f
unc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
di
n
fo, es
t
at
e
:
m
v smatc
h
_din
f
o
.
c
s
match_estate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next