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
sval: update check_db_info.c
2012-05-27
D
an
Carpen
t
er
slist:
p
ut
the sm
_
state itsel
f
i
n
to ->po
s
sible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
arpente
r
sli
s
t: clea
n
up me
r
g
e
_ho
o
ks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
arpenter
extra: do
n
't crea
t
e a
new merged estat
e
if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpente
r
e
states: r
e
use same estate for extra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Car
p
e
n
t
er
constraints:
get rid of
add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
constrai
n
ts: r
e
move s
o
m
e
dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: fix set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpe
n
ter
cons
t
rai
n
ts: add_related() s
h
ould ta
k
e a relate
d
_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constrain
t
s
:
so
r
t the ->r
e
lat
e
d list properl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpenter
constrai
n
ts: replace g
e
t_com
m
o
n_relationship() w
i
th
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carp
e
n
ter
slist: m
o
ve ad
d
_pool
(
) to smatch
_
implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan
Carpenter
bit_shift: add test
_
b
i
t() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Da
n
Ca
r
p
e
n
t
er
flow: silence fal
s
e po
s
itives caused by hairy f
u
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
i
mpli
e
d: rename
-
>
my_po
o
l
to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carp
e
n
ter
slist: rename add_possible() => copy_possibl
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
o
r
_vs_and: ignore *p++ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
t
r
a
cke
r
: fix a small memo
r
y leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
modification:
r
emove calls
t
o delete_sta
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carp
e
nter
check_d
e
reference: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
d
b
: st
o
re
wh
e
ther fu
n
ctions are g
l
obal o
r
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
tracker: remo
v
e un
u
s
e
d
clone
_
t
racker_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
s
l
i
s
t: buffer overflow in debuggin
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
pe
n
ter
user_data: fix NU
L
L dereferenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: white
s
pace
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carp
e
n
ter
db: move
p
ara
m
eter_im
p
l
ications into the da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
range
s
:
a
d
d possibly_true/false_range_lists_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflo
w
:
a
u
t
o
matic
a
lly lis
t
fu
n
ctions that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carp
e
nt
e
r
modificati
o
n
_
hooks: complete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
db: print the SQL queries
w
h
en
-
-d
e
bug is
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpenter
c
l
eanup:
u
s
e
v
alid_p
t
r_min/m
a
x
.
ge
t
rid of POI
N
TER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carp
e
nter
extra: dereferencing a pointer means it i
s
v
ali
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implie
d
:
c
l
e
a
n
u
p
debug output a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: pull show_sm() i
n
to a separate funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check_kernel
:
ERR_PTR() returns non-NULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
dereference checks: use
t
h
e cross function info fro
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
n
t
er
*new* check_dereferences_param: list funct
i
ons that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
*new* ret
u
r
n
s:
m
erge all slists from a
l
l r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpenter
db: add call_implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: print a
d
ifferen
t
file
n
ame
w
hen --info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
deref: f
i
x
a
t
ypo in th
e
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n
Ca
r
pe
n
te
r
user
_
data: track user
d
a
t
a
that is ret
u
rned to
o
ther
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan C
a
r
p
e
nter
b
oo
l
_implications: remove debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Ca
r
pent
e
r
fix co
m
pile
on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
an
C
a
r
penter
generis
i
ze
.
pl:
st
r
ip a
l
l
s
trings not ju
s
t th
e
fir
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
bu
f
_s
i
z
e
: Add a NULL chec
k
to g
e
t_a
r
ray
_
size_by
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new
*
s
i
z
eof_po
i
nte
r
: using sizeof
(
p) where
sizeo
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
overflow: chec
k
memcpy() t
o
se
e
if we'r
e
comp
a
ring
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an C
a
rpenter
ex
t
ra: don't reset &argumen
t
s until the other check
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpe
n
t
e
r
flow: change how "fo
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: complain a
b
out if (x != 3
|
|
x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Car
p
enter
spars
e
: intr
o
d
uce get_expression
_
value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
t
y
pe: introduce is_p
o
inter() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpe
n
ter
e
x
tra: frob(foo) res
e
ts the value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpe
n
ter
extra: foo((void *)&
x
) wr
i
tes to x proba
b
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
nter
ranges: i
n
troduce inve
r
t_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan C
a
rpenter
m
a
th: handle __smatch_implied(&
x
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges: commit ra
n
ge_li
s
ts_equiv() so that boo
l
_implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
s
m
d
b
_
p
aram_
b
u
f_size
.
sh: ask db
w
h
a
t si
z
e bu
f
f
ers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: ge
t
_
implied_ra
n
ge_list
(
) shoul
d
handle condition
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
b
uf_size: store
b
uffer size
s
in db (turned off
b
y defau
l
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpent
e
r
db: don't
die on SQL erro
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
ool_impli
c
at
i
on
s
: make a list of implications for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: handle log
i
cal expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
core: pri
n
t sm_msg()s before parsi
n
g sta
r
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
par
a
mete
r
_impl
i
catio
n
s: g
e
n
erate l
i
st
of
f
unctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
enter
d
b
: match_retu
r
n(
)
shouldn't re-impl
e
m
ent get_implied_
r
a
n
ge_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
a
th: sort of handle co
n
diti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an C
a
rpen
t
er
math: simplify implied_condition_true
/
fal
s
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
math: si
m
plify known_con
d
ition
_
t
r
ue/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: handle __smatch_impli
e
d(({frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
math: handle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
extra, math: move known_conditon_true/f
a
lse()
etc
f
r
o
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
C
a
rpent
e
r
projec
t
:
f
ix par
a
meter implica
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpen
t
er
h
e
lper: i
n
troduce get_m
e
mbe
r
_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
arpenter
d
b
: print all return values a
t
end of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Ca
r
penter
db: add some sm
d
b_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n C
a
r
pente
r
fil
l
_db_return_info: fix
o
ut d
a
ted pa
r
sing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
en
t
er
extra: always initialize t
h
e range in get_
i
m
plied_ra
n
ge_lis
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
ex
t
ra:
fix ge
t
_impli
e
d
_
r
ange(
)
for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
check_macros: cleanu
p
: use
p
ositions_
e
q(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
ter
macro: take a s
t
ru
c
t position, not a poin
t
er to
a
struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
implied
:
clea
n
up: mo
v
e
d
u
bug printfs
to their own fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: ge
t
rid of possibly_(true/false)_range_list_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
ranges: cleanup: move true_compari
s
on
_
range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
e
xtra: a
d
d parameter im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpenter
ranges: introduce clone_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
ranges: initialize the pointer in get_va
l
ue_ra
n
ges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arp
e
nter
db:
i
gnore f
u
n
c
tions
w
hic
h
are
c
a
l
led a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type: export get_real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
r
p
enter
db:
a
dd c
o
d
e
t
o hack up the dat
a
base wi
t
h project specifi
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
c
o
nditions: preserve |=
as th
e
assi
g
n op i
n
foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Ca
r
pente
r
type: sizeof()
is
u
nsigned
l
ong
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Ca
r
p
e
n
ter
conditions: sparse
never seems to use
S
PECIAL_U
N
SIG
N
ED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpente
r
helper:
i
ntroduce
positions_eq(pos1, pos2)
func
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan
Ca
r
penter
b
uild_kernel_
d
ata
.
sh: make it executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
D
a
n Carpenter
mac
r
o_
s
ide_effects: silence false posit
i
v
es insi
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_kernel
.
s
h:
c
re
a
te a bak
.
smatch at the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
*new* check_ma
c
ro_si
d
e_effect
s
: macros
w
h
i
c
h
e
v
aluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flow: ignore
__builtin_con
s
t
a
nt_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
sparse: set the scope->token
m
e
mber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next