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
function_hooks: use the stripped function call
2012-06-04
Dan Carp
e
n
t
er
f
l
ow: ha
n
dle s
t
ruct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
f
low:
h
andle EXPR_OFFS
E
TOF and EXPR_
A
LI
G
NOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carp
e
nter
overfl
o
w: ignore "x = &foo[
A
RRAY_SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
C
a
rpenter
ov
e
rfl
o
w:
w
hite s
p
ace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
implied: t
h
e b
a
s
e
s
l
i
st is not s
p
ecial
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpen
t
er
slis
t
: chan
g
e format for de
b
ug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
C
a
r
p
en
t
er
expressio
n
s: intr
o
duce some m
o
r
e express
i
on allo
c
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carp
e
nte
r
valid
a
t
i
on: upda
t
e dereference ch
e
ck output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan
Ca
r
penter
implied:
c
ertain states should be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
sli
s
t: put the sm_state itself into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
slis
t
: clean
u
p merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
extra: don't create a new merged estate if ->ri
g
h
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
estates: reus
e
same estate for ext
r
a
_und
e
fined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
con
s
t
r
aints: get rid
o
f
a
dd_equiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
constraints: remove some
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
co
n
s
tr
a
i
nts: fi
x
set_
e
qui
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
nstraint
s
: a
d
d_related
(
)
s
houl
d
ta
k
e a
re
l
ated_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constr
a
ints: sort the ->related list
properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
C
arpenter
c
o
nst
r
a
i
n
t
s:
r
eplace
g
et_common_r
e
lationsh
i
p() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
s
lis
t
:
m
ove add_po
o
l() to smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
an Car
p
enter
bit_shift: ad
d
test_bit() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carp
e
nter
f
low: s
i
lence false positi
v
es c
a
used by hairy func
t
io
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
i
mplied: ren
a
m
e
->my_pool to
-
>
pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
a
rpenter
slist: rename ad
d
_
possible()
=
> co
p
y_p
o
ssibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
or_v
s
_
a
nd: ignore *
p
+
+ || *p+
+
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpenter
tracker: fix a smal
l
memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
m
o
dification:
r
emove calls to
delete
_
state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
check_der
e
f
e
r
e
nc
e
:
enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpente
r
db:
store
whether functions are glo
b
al or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpe
n
ter
t
racke
r
: remove un
u
sed clone_track
e
r_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpent
e
r
slist: buffer ove
r
flow in debug
g
i
ng code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpent
e
r
user_
d
ata:
fix
N
ULL
d
e
r
e
f
erence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpen
t
e
r
db: white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
arpenter
db: move parameter_implications int
o
the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
arpen
t
er
ranges: a
d
d po
s
sibly_true/false_range_list
s
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n Carpenter
overflow: aut
o
matica
l
l
y list functions that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Ca
r
penter
m
o
dification_hooks: compl
e
te rewr
i
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
d
b: pri
n
t
t
he S
Q
L queries whe
n
--debug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
pent
e
r
cleanup:
u
s
e
valid_ptr
_
min/max
.
get r
i
d
of P
O
INTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpen
t
er
extra: der
e
ferenci
n
g a p
o
inter means it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpente
r
i
m
plied: clea
n
up debug output
a
l
i
t
t
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpente
r
slist
:
pull
sh
o
w_
s
m() i
n
to a se
p
a
r
ate functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpente
r
chec
k
_kerne
l
: ER
R
_PTR()
r
eturns no
n
-NULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
dereference checks:
u
se the cros
s
function inf
o
f
rom
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* check_deref
e
rences_
p
aram: list functions
that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
*new* return
s
: merge all slists fro
m
al
l
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
db: ad
d
call_implies
t
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: print
a
differe
n
t filena
m
e w
h
en
--info opti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
deref
:
fix a t
y
p
o
in the
e
rror
m
essage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
an Ca
r
pente
r
us
e
r_data: track user data that is retur
n
ed to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpent
e
r
bool_impl
i
c
ations: remove debuggi
n
g out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carp
e
nter
fix com
p
ile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpente
r
g
e
ne
r
isize
.
pl: strip al
l
strin
g
s
no
t
jus
t
t
he first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpe
n
t
er
buf_s
i
ze: Add a NULL check to get_
a
rray_s
i
ze_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
C
a
r
pe
n
ter
*n
e
w* sizeof_po
i
nter
:
u
s
ing sizeof(p) where sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpent
e
r
overflow:
c
heck
m
emcpy() to see if we're com
p
arin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
pente
r
extra:
d
on't reset
&
arguments un
t
i
l the other check
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpente
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 Carp
e
n
t
er
*new* or_vs_a
n
d: complain about if (
x
!= 3 || x
!
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carp
e
nte
r
spars
e
: introduce get_e
x
press
i
on_value_
n
omod(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
D
a
n
C
a
r
p
e
nter
type: introduce is_p
o
inter
(
) fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
a
n Carpenter
extra: frob(fo
o
) resets the value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpente
r
extra: foo
(
(v
o
id *)&x) wr
i
tes to x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges:
i
ntroduce invert_ran
g
e
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
m
a
th: han
d
le
_
_smatch_implied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
te
r
ranges: commit
r
ange_li
s
ts_eq
u
iv() so t
h
at b
o
ol_
i
m
plicat
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_par
a
m_bu
f
_size
.
sh: ask
db what size buffers
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: get_i
m
plied
_
range_l
i
st()
should handle co
n
ditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_siz
e
: store buffer sizes in db (turne
d
off
b
y defau
l
t)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
d
b
: don
'
t die on
S
QL
errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
rpenter
bool_impli
c
ations: ma
k
e a list of imp
l
icati
o
ns for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan
C
a
rpen
t
er
math: h
a
ndle log
i
ca
l
ex
p
re
s
s
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
core: print sm_m
s
g()s
b
efore parsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
enter
par
a
me
t
er_implicatio
n
s: generat
e
list o
f
f
u
n
ctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
enter
db: matc
h
_
r
eturn()
shou
l
dn't r
e
-
impl
e
ment get_implied_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: s
o
rt of handle c
o
n
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
pe
n
t
e
r
m
a
th:
simplify im
p
lied_condition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simplify know
n
_c
o
ndition_tr
u
e
/
false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpenter
math:
handle
__sm
a
tch_
i
m
plie
d
(
(
{frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
e
nt
e
r
math:
h
andle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
extra
,
mat
h
: move kno
w
n_c
o
ndi
t
on_true/
f
a
l
s
e()
e
tc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
rpenter
project:
f
ix para
m
eter
i
mpli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
an Carpenter
hel
p
er:
int
r
oduce get_
m
em
b
er_
n
am
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n
C
arpenter
db
:
pr
i
nt
al
l
retur
n
values at end o
f
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db:
a
dd
some smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fill_
d
b_retur
n
_info: fix out dated
p
arsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
extra: always i
n
i
tializ
e
t
h
e range in get_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix
get_
i
mplied_range() for
f
unction
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_macros: cleanup:
u
se
p
osit
i
ons_e
q
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
macro: take
a
st
r
uct position, not a
pointer
t
o
a
struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
implied: clean
u
p: mo
v
e d
u
bug printfs
t
o their ow
n
funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
C
arpen
t
er
ra
n
ges:
g
et rid
of possibly_(true/f
a
lse
)
_range_list_ls
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
C
a
rpenter
ranges: cle
a
nup: mo
v
e t
r
ue_comp
a
ris
o
n_range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ex
t
ra: a
d
d
p
a
r
a
me
t
er implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
C
arpenter
r
ang
e
s: introduce clon
e
_
p
erman
e
nt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
penter
r
a
nges: in
i
tiali
z
e
the pointer in get_value_ranges
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ignore functions
w
hich
are ca
l
led
a
lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
type:
export get_real_base_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: add code to hack up the database wi
t
h
pro
j
e
ct specif
i
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions:
p
reserve |= as the
a
ssign op in foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next