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
constraints: get rid of add_equiv()
2012-05-26
Dan Carpenter
constraints: ge
t
r
id of add_
e
quiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
onstrain
t
s:
remove some dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
constraints: fix set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carp
e
nter
constraints: ad
d
_related() should take a rela
t
ed_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
p
e
nter
c
o
n
strai
n
ts: sort t
h
e ->re
l
ated lis
t
pr
o
pe
r
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constraints:
replac
e
get
_
c
o
mmon_relationship() wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Ca
r
penter
s
l
ist
:
move add
_
pool() to smatch_impl
i
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit_s
h
if
t
: a
d
d test_bit() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Da
n
C
a
rpenter
flow: silence false p
o
sitives cau
s
ed by hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied:
rename ->my_pool t
o
->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
s
l
ist: rename
add_possible() => copy_
p
ossibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_vs_a
n
d: ignor
e
*
p
++ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
en
t
er
trac
k
er:
fix a small memory
le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
m
odificatio
n
:
r
emo
v
e c
a
ll
s
to
dele
t
e_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
ent
e
r
check_de
r
eference: enable
this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpente
r
d
b
: store whe
t
her functions are global or st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpe
n
ter
t
r
acker: remo
v
e unused clon
e
_track
e
r_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
slist:
bu
f
fer overfl
o
w in de
b
ugging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
user_data: fi
x
N
ULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rpenter
db: white sp
a
ce
c
leanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: move parameter_implicat
i
ons into
the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
Carpenter
ranges: add
p
os
s
ibly_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
tomatic
a
lly list functions that
t
a
k
e a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpent
e
r
m
odification_ho
o
ks:
c
omplete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Da
n
Car
p
enter
d
b
:
p
r
i
nt th
e
SQL queries when --
d
e
b
ug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpenter
cleanup: use val
i
d_ptr_min/max
.
get rid of
POINTER_M
A
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n Carpente
r
extra: dereferencing a p
o
inter me
a
n
s it is val
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
impli
e
d: cleanup debu
g
o
utput a l
i
ttle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: pull
show_sm() int
o
a
s
ep
a
r
ate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
ente
r
c
he
c
k_ke
r
nel:
E
RR_PTR() returns non-N
U
LL (
m
ostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpent
e
r
d
ereferen
c
e checks: use
the cross functio
n
info fro
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* c
h
eck_derefer
e
nces_param
:
list
functions t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* retur
n
s: merge all
s
lis
t
s fr
o
m
a
l
l
r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
pen
t
er
db: add call_
i
m
p
l
i
e
s tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
flow: print a
differ
e
nt filename w
h
en --
i
nfo o
p
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
Carpenter
d
eref
:
f
ix a typo in th
e
e
rr
o
r message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Carp
e
nter
us
e
r_
d
ata: track
u
ser data that is retu
r
ned
t
o o
t
her
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpente
r
bo
o
l_implication
s
: remove debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carp
e
nter
fi
x
compile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisiz
e
.
pl:
s
trip
a
ll str
i
ngs not just the f
i
rst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
bu
f
_size: Add a
N
ULL
c
he
c
k
to get_arr
a
y_size_byt
e
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Ca
r
penter
*ne
w
*
s
izeof_p
o
inter: usin
g
size
o
f(p) where s
i
zeo
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpenter
over
f
low: check memcpy
(
) to
s
e
e
if we'
r
e compar
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
ex
t
r
a
:
d
o
n't rese
t
&arguments until the other checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
flow:
c
hange how "for
(i =
0
; ;
i
++
)
{
.
.
.
"
is
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
*new* or_vs_and: com
p
l
a
i
n about if (
x
!= 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Ca
r
penter
sparse: introduce get_expression_value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carp
e
nter
type:
intro
d
uce is_pointer() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Car
p
ent
e
r
e
xtra: frob(foo) re
s
ets the value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
arp
e
nter
extra: foo((voi
d
*
)
&x
)
writes to x probab
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Car
p
e
n
ter
rang
e
s: int
r
od
u
ce invert_range_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: handle __
s
match
_
implied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpente
r
ranges: commit r
a
nge
_
lists_equiv()
s
o
t
h
a
t bool_impl
i
cati
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb
_
p
a
r
am_buf_size
.
s
h
:
a
sk
d
b
what
si
z
e buffer
s
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
ar
p
e
n
ter
ex
t
r
a
:
get
_
impl
i
ed
_
r
ange_
l
ist() should handle con
d
itio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arp
e
nter
buf_size:
sto
r
e buffer
size
s
in
d
b (t
u
rn
e
d
o
ff by default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
db: don't die on S
Q
L
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_implications:
make
a l
i
st of implic
a
tions for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Ca
r
pen
t
e
r
ma
t
h: handle logica
l
e
x
pr
e
ssions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
a
r
penter
cor
e
:
print sm_msg()s
befo
r
e par
s
ing
starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
penter
parameter
_
implications: genera
t
e list
o
f functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
an Carpe
n
te
r
d
b: m
a
t
ch
_
return
(
) shoul
d
n'
t
re-implement
get_implie
d
_ra
n
ge_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
ar
p
e
n
ter
math: sort of
h
a
n
d
l
e
co
n
ditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simplif
y
i
mplied_condition_tru
e
/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
r
p
enter
math: simpl
i
fy
k
nown_condi
t
ion_true/f
a
lse()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
m
a
th: handle __smatch_i
m
pl
i
e
d(({fro
b
()
;
2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
m
a
th:
handle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Car
p
ent
e
r
e
x
tra, math: move known
_
conditon_true/
f
alse()
etc
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpen
t
er
proj
e
ct: fi
x
parameter implicat
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
rpente
r
helper: int
r
oduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpente
r
db: pri
n
t all return value
s
at end of funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpent
e
r
db: add some sm
d
b_ sc
r
i
pt
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
nt
e
r
fill_db_ret
u
rn_inf
o
: fix out dated parsin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
extra: alw
a
ys initialize the rang
e
in get_implied_range_l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
e
x
t
r
a: fix get_implied_range() for fun
c
t
ion cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Car
p
e
nter
check_macros
:
cleanup: use positions_e
q
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
r
penter
macro: take a struc
t
p
osition,
n
ot a pointer to
a
st
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied: cl
e
anup: m
o
ve dub
u
g printfs to their own
f
unct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
ranges: get rid of poss
i
bly_
(
true/fals
e
)_range_list_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Ca
r
pent
e
r
ranges: clea
n
up: move true_comparison_range
_
lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra: add parameter implica
t
ion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
r
anges: introd
u
ce
cl
o
n
e
_perm
a
nent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
C
a
rpenter
ranges:
i
ni
t
ialize t
h
e poi
n
te
r
in get_value
_
r
anges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
db
:
ignore functions which are c
a
lled a l
o
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
Carp
e
nt
e
r
type:
e
x
port get_rea
l
_base
_
type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpen
t
er
db: add c
o
de
t
o
hac
k
u
p the d
a
tabase
w
i
th pr
o
ject
spe
c
ific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n
Carpenter
conditions
:
p
r
e
se
r
ve |= as the assign op in foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carp
e
nter
t
y
pe
:
siz
e
of() i
s
unsigned
long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Ca
r
p
e
nt
e
r
conditions: sparse never se
e
ms to use
S
P
ECIAL_UNS
I
GNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan
C
a
rpent
e
r
helper: intr
o
duce position
s
_eq(p
o
s1, pos2) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpen
t
er
build_kernel_data
.
sh: make i
t
executabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan C
a
rpenter
macro
_
side
_
effect
s
:
s
ilence false positives inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan C
a
rpenter
test
_
kernel
.
sh:
c
reate a bak
.
s
m
at
c
h at the begi
n
ning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
*new* check_macro
_
side
_
e
ffects:
macros which ev
a
luate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flow
:
ignor
e
__buil
t
i
n
_
constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
n
t
er
sp
a
r
s
e: set t
h
e scope->token mem
b
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
call_
t
ree
.
pl: Th
i
s was still u
s
ing
t
he
o
ld format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
D
an C
a
rpenter
bui
l
d_kernel
_
dat
a
.
sh: a
d
d
--call
-
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
lockin
g
: ignore unreachable
u
nlocks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
C
a
rpenter
l
ocking: white
s
pace
change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next