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
buf_size: pull bytes_to_elements() in its own function
2012-06-13
Dan
Carpe
n
ter
buf_s
i
ze: pull bytes_to_
e
lements(
)
in its
own f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
bu
f
_
s
i
ze: calculate bytes per
eleme
n
t better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
b
u
f_size: add a basic
va
l
ida
t
ion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpen
t
er
buf_size: if the
s
ize is
v
a
riabl
e
pi
c
k
t
he larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
b
u
f
_s
i
ze: m
o
ve g
e
t_s
i
ze_from_strlen() int
o
it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carp
e
nter
buf_size: pull
get_size_from_initiali
z
er() in
t
o separat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpen
t
er
b
u
f_size:
m
o
v
e get_stored_size() out o
f
g
e
t_a
r
ray_
s
ize()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf_size: pu
l
l handling of normal ar
r
ays in
t
o separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
pente
r
buf_s
i
z
e
:
mov
e
s
o
me f
u
n
c
tions aro
u
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf_size: a
d
d modification hook
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
deb
u
g: add a way to
d
ebu
g
buffer sizes __sm
a
tc
h
_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
an Carpenter
O
r vs a
n
d: war
n
about bitwise AND
s
t
h
a
t always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n
Carpenter
Or vs a
n
d: if
(
foo & ZER
O
)
is nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan C
a
rpenter
func
t
ion_ha
s
h: mak
e
it
easier to hand
l
e
a file w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
D
a
n
Carpenter
si
g
ned
:
unbr
e
ak the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpenter
ov
e
rflow: upd
a
te valid
a
t
i
o
n
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
p
en
t
e
r
flow: handle struct initi
a
l
ization better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: handle EXPR_OFFS
E
T
O
F and EXPR_ALIGN
O
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
o
verflow: ign
o
re
"x = &fo
o
[ARRAY
_
SIZE(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
C
a
r
pent
e
r
overflow: white space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Ca
r
p
ent
e
r
impli
e
d: th
e
base slist is not
s
pecial
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
ter
slist: change format
f
o
r debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carp
e
nter
expressions: introduce
some mor
e
expression all
o
cation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpen
t
er
validat
i
on: up
d
ate derefer
e
nc
e
check
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
C
arpenter
implied: certain
states should be left as
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slis
t
:
put the
sm_s
t
ate
it
s
elf
i
nto ->possible
n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
a
rpent
e
r
slist: cleanup merge_hooks
A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Ca
r
penter
extra: don't c
r
e
a
te a new merged es
t
ate if ->r
i
g
h
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpen
t
er
estates: reuse same estate f
o
r ex
t
r
a_un
d
efine
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constrai
n
ts: ge
t
rid of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
c
o
nstraints: remove
s
o
m
e dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
con
s
traints: fix
s
et
_
eq
u
iv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
con
s
traints: add_
r
elated() sh
o
uld
t
ake a re
l
ated_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
n
t
er
constraints: sor
t
the ->related list properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
constraints: replace
get_common_r
e
lati
o
nship() wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
s
li
s
t: move add_pool() to smatch_implie
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpen
t
e
r
b
i
t_shift: add
test_bit()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan
C
arpent
e
r
f
low
:
silence false
p
os
i
tives caused by hairy functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
imp
l
ied
:
r
en
a
me ->my_pool to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: rename ad
d
_possible() => copy_possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
or_vs_
a
n
d
: ignore *p
+
+ || *
p
++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
t
r
acke
r
: fix a small
m
emory lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpe
n
ter
m
o
dific
a
tion: remove calls to delete_st
a
t
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
rpen
t
er
check_der
e
feren
c
e: enable t
h
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an C
a
rpen
t
er
d
b
:
stor
e
w
hether functions ar
e
global or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: rem
o
ve unused clone_tracker_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
slist: buffer ove
r
flow in debugging code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
user_da
t
a: fi
x
NULL derefer
e
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nter
db:
white s
p
ace clea
n
ups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
Carpenter
db:
move pa
r
a
meter_implication
s
into t
h
e data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rpenter
ran
g
e
s
: add possibly
_
true/false_
r
ange_lists
_
rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n Carpenter
overflow:
automatically l
i
st fu
n
ctions tha
t
t
a
ke a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Car
p
ent
e
r
mo
d
ification_hooks:
complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan
C
a
r
pen
t
er
db:
print the SQL querie
s
when
-
-debug
is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n C
a
r
p
enter
cleanu
p
:
us
e
valid_ptr_min/ma
x
.
g
et ri
d
of
POINTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpenter
extra:
d
ereferen
c
ing a p
o
in
t
er means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
r
p
e
nt
e
r
implied: clea
n
u
p
debu
g
output a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Car
p
ente
r
sl
i
st: pull show_sm() in
t
o a
s
eparate function
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 chec
k
s:
use t
h
e c
r
oss function info fro
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
*new* che
c
k_dere
f
er
e
nces_param:
list functions t
h
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
a
r
p
enter
*new* re
t
urns
:
merge
all slists from all re
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db:
a
dd call_implies t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: print a different filenam
e
when --info op
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
eref
:
fix a typo in th
e
error
m
ess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_data: trac
k
user data
that is returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Ca
r
penter
b
o
o
l_implications: re
m
ove debug
g
i
ng
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix
compile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carp
e
nter
generisi
z
e
.
pl: strip all strings
n
o
t
just
the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpent
e
r
buf_size: Add
a
NUL
L
check to get_ar
r
ay
_
size_bytes
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
ter
*ne
w
* s
i
ze
o
f_pointer: using
s
izeof(p) where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
overflow:
che
c
k memc
p
y
() to see if we
'
re comp
a
rin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Car
p
e
n
te
r
extra: don
'
t reset &ar
g
u
m
ents until the other checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
flow: change how "for (i
= 0; ; i++) {
.
.
.
"
is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpent
e
r
*new*
or
_
vs_an
d
: co
m
plain abou
t
i
f
(
x
!
= 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpente
r
sparse: in
t
roduce get
_
expr
e
ssio
n
_va
l
ue
_
nomod
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carp
e
nt
e
r
type: introdu
c
e i
s
_po
i
nter() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan C
a
rpent
e
r
extra: frob(foo) resets the v
a
l
u
e of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra:
foo((void *)&x) writes to x
p
r
o
ba
b
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpent
e
r
r
anges: introd
u
ce invert_rang
e
_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: h
a
ndl
e
__smatch
_
implied(&x
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
r
p
ente
r
r
a
nges:
commit range_lists_equ
i
v() so that bo
o
l_implica
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
smdb_pa
r
am_buf_
s
ize
.
sh: ask db
w
h
a
t size
buff
e
rs are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
er
extra: get_impl
i
ed_range_li
s
t() should handle
c
onditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
u
f_
s
ize: st
o
re buffer si
z
es i
n
d
b (
t
u
rned off by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpenter
db
:
d
on't
die on SQL
erro
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
bool_implications: m
a
ke a list
o
f
implications for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: ha
n
d
l
e
l
ogical expres
s
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
ar
p
en
t
er
core: print sm
_
m
sg()s before parsing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carp
e
nter
paramet
e
r_implications:
g
e
ne
r
ate l
i
st of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpenter
d
b: match_return() shouldn't re-implement g
e
t_implied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an
C
arpenter
math:
sort of handle condit
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n C
a
rpenter
math: simplify impli
e
d
_
c
ondition_true
/
f
a
l
s
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: simplify known_condition_tr
u
e
/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Car
p
enter
math: handle __sm
a
tc
h
_implied((
{
frob(); 2;})
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carpenter
math
:
h
an
d
le foo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
C
a
rpenter
extra,
m
at
h
: move know
n
_conditon
_
true/fals
e
() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan
Ca
r
p
e
nt
e
r
project: fix p
a
ram
e
t
er implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
he
l
pe
r
: introduce get_membe
r
_na
m
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
db
:
print
a
ll r
e
t
urn values at end
o
f function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next